Rodin Tutorials: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Jastram No edit summary |
imported>Mathieu m Robot: Changing Category:User Documentation |
||
| Line 7: | Line 7: | ||
;[[Requirements Tutorial]]: Shows how the Requirements Plug-in is used | ;[[Requirements Tutorial]]: Shows how the Requirements Plug-in is used | ||
[[Category:User | [[Category:User documentation]] | ||
[[Category:Tutorial]] | [[Category:Tutorial]] | ||
Revision as of 20:30, 10 September 2008
Tutorial 1 (celebrity, doors, galois, closure)
- document and project archives
- original and somewhat outdated version
- in wiki format
- translated from the original version, and being updated (some formulas are not yet rendered well, but the problem is being worked out)
Requirements Tutorial
- Requirements Tutorial
- Shows how the Requirements Plug-in is used
