Rodin Developer Support: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Stefan No edit summary |
imported>Stefan No edit summary |
||
| Line 3: | Line 3: | ||
[[Category:Developer Documentation]] | [[Category:Developer Documentation]] | ||
[[Category:Rodin Platform]] | [[Category:Rodin Platform]] | ||
== Rodin Core == | |||
[[Database]] | |||
[[Builder]] | |||
== Event-B User Interface == | |||
[[Editing]] | |||
[[Proving]] | |||
== Event-B Library == | |||
[[Abstract Syntax Tree]] | |||
[[Static Checker]] | |||
[[Proof Obligation Generator]] | |||
Revision as of 13:39, 4 July 2008
The Developer Support provides resources for developing plug-ins for the Rodin Platform.
