Difference between pages "Mathematical extensions" and "Mathieu/Main Page"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Laurent (Mathematical extensions moved to Mathematical Extensions: Title case) |
imported>Mathieu m (a place were I can do some try, for a Main Page proposal) |
||
Line 1: | Line 1: | ||
− | + | ''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