Extending the Rodin database (How to extend Rodin Tutorial): Revision history

From Event-B

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 23:2823:28, 18 September 2010‎ imported>Tommy‎ m 7,875 bytes +128‎ →‎Step 1

curprev 07:1407:14, 7 September 2010‎ imported>Pascal‎ m 7,747 bytes +3‎ No edit summary

curprev 14:2114:21, 20 August 2010‎ imported>Pascal‎ m 7,774 bytes +1‎ →‎Step 2
curprev 14:2114:21, 20 August 2010‎ imported>Pascal‎ m 7,773 bytes +59‎ →‎Typos
curprev 14:1314:13, 20 August 2010‎ imported>Pascal‎ m 7,714 bytes 0‎ →‎In this part
curprev 14:1114:11, 20 August 2010‎ imported>Pascal‎ m 7,714 bytes 0‎ Extend Rodin database (How to extend Rodin Tutorial) moved to Extending the Rodin database (How to extend Rodin Tutorial)

curprev 09:3209:32, 18 August 2010‎ imported>Tommy‎ 1,223 bytes +1,223‎ Creation of the page "Extend the database"

Retrieved from ‘https://wiki.event-b.org/index.php/Extending_the_Rodin_database_(How_to_extend_Rodin_Tutorial)’

Navigation menu