Database: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>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
