Theory Release History: Difference between revisions
imported>Im06r |
imported>Im06r |
||
| Line 30: | Line 30: | ||
===Releases=== | ===Releases=== | ||
===== Version 1.2 ===== | |||
''15th August 2011'' | |||
Release target : Rodin 2.2.2 | |||
* Bug fixes. | |||
* Added capability to instantiate multiple theorems at once. | |||
* Added automatic tactic for expanding operator definitions RbPxd· | |||
===== Version 1.1 ===== | ===== Version 1.1 ===== | ||
''6th August 2011'' | ''6th August 2011'' | ||
Revision as of 16:22, 15 August 2011
Back to Theory Plug-in.
Follow this page for the latest on the Theory plug-in. The user manual is also provided together with the installation details.
News
- 15th August 2011: Version 1.2 is released. It requires Rodin 2.2.2.
- 6th August 2011: Version 1.1 is released. It requires Rodin 2.2.2.
- 8th July 2011: Version 1.0 is released. It requires Rodin 2.2.
- 22nd May 2011: Version 0.8 released. It is based on Rodin 2.1.1.
- 11th April 2011: Version 0.7 released. It is based on Rodin 2.1.1.
- 6th January 2011: Version 0.6 released. It is based on Rodin 2.0.1.
- 28th October 2010: Version 0.5 released. It is based on Rodin 2.0.
Installation & Update
The installation or update for the Theory plug-in is available under the main Rodin Update site (http://rodin-b-sharp.sourceforge.net/updates) under the category "Modelling Extensions". Like always, after the installation, restarting Rodin is recommended.
User Manual
The user manual is available here, Theory User Manual.
Worked Examples
In this section, you find examples of theories and models using theories.
Releases
Version 1.2
15th August 2011
Release target : Rodin 2.2.2
- Bug fixes.
- Added capability to instantiate multiple theorems at once.
- Added automatic tactic for expanding operator definitions RbPxd·
Version 1.1
6th August 2011
Release target : Rodin 2.2.2
- Theory library first version.
- Bug fixes.
- Improved UI.
Version 1.0
8th July 2011
Release target : Rodin 2.2
- Bug fixes.
- Added import relationships between theories.
- Added experimental support for recursive definitions.
- Improved project as well as workspace scope for mathematical and prover extensions.
- Added tactic (xd) to expand all definitions.
- Fixed support for polymorphic theorems.
Version 0.8
22nd May 2011
Release target : Rodin 2.1.1
- Bug fixes.
- Added import relationships between theories.
- Added experimental support for recursive definitions.
- Added project as well as workspace scope for mathematical and prover extensions.
Version 0.7
11th April 2011
Bug fixes. Fixed for Rodin 2.1.1.
Version 0.6
6th January 2011
Minor bug fixes and improvements to theories pretty printer.
Version 0.5
28th October 2010
This is the first release of the Theory plug-in with support for mathematical as well as prover extensions.
Features Requests and Bugs
Please do not hesitate to raise any issues with regards to usability as well as efficiency. Finally, please remember to report any bugs through the SourceForge portal.
