Difference between pages "Mathematical extensions" and "Mathieu/Main Page"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Laurent
 
imported>Mathieu
m (a place were I can do some try, for a Main Page proposal)
 
Line 1: Line 1:
#REDIRECT [[Mathematical Extensions]]
+
''This is just a private place for some tests towards a hopefully fullfeatured Main Page''
 +
== Event-B and Rodin Documentation Wiki ==
 +
 
 +
[[Event-B Language]]
 +
 
 +
[[Rodin Platform|Rodin Platform User Support]]
 +
 
 +
[[Rodin Plug-ins|Rodin Plug-in User Support]]
 +
 
 +
[[Rodin Developer Support]]
 +
 
 +
[[Test area]]

Latest revision as of 22:09, 4 July 2008

This is just a private place for some tests towards a hopefully fullfeatured Main Page

Event-B and Rodin Documentation Wiki

Event-B Language

Rodin Platform User Support

Rodin Plug-in User Support

Rodin Developer Support

Test area