Difference between revisions of "Rodin Tutorials"

From Event-B
Jump to: navigation, search
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 Documentation]]
+
[[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