Difference between revisions of "Database"
From Event-B
Jump to navigationJump to searchimported>Mathieu m (page initialisation) |
imported>Mathieu m (TODO) |
||
Line 1: | Line 1: | ||
This page described the rodin database API. | This page described the rodin database API. | ||
+ | |||
+ | {{TODO|by someone knowing the internals of rodin. Describe the database API}} | ||
== IRodinFile == | == IRodinFile == |
Revision as of 10:33, 20 February 2009
This page described the rodin database API.
TODO: by someone knowing the internals of rodin. Describe the database API