Difference between revisions of "Rule-based Prover Plug-in"
From Event-B
Jump to navigationJump to searchimported>Im06r |
imported>Im06r (→News) |
||
| Line 1: | Line 1: | ||
This page provides extensive documentation for the rule-based prover plug-in. | This page provides extensive documentation for the rule-based prover plug-in. | ||
| − | ==News== | + | == News == |
* ''1st December 2009'': [[#Version_0.0.1|Version 0.0.1]] released. It is based on Rodin 1.1.0. | * ''1st December 2009'': [[#Version_0.0.1|Version 0.0.1]] released. It is based on Rodin 1.1.0. | ||
| + | |||
| + | == Releases == | ||
| + | |||
| + | ===== Version 0.0.1 ===== | ||
| + | |||
| + | ''1st December 2009'' | ||
Revision as of 11:50, 1 December 2009
This page provides extensive documentation for the rule-based prover plug-in.
News
- 1st December 2009: Version 0.0.1 released. It is based on Rodin 1.1.0.
Releases
Version 0.0.1
1st December 2009
