Template:Dev News: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Mathieu m New extensible plug-ins] org.rodinp.keyboard and org.eventb.keyboard |
imported>Mathieu mNo edit summary |
||
Line 5: | Line 5: | ||
</noinclude><!--- News to add here below : ==== ---> | </noinclude><!--- News to add here below : ==== ---> | ||
<div style="font-size:90%;"> | <div style="font-size:90%;"> | ||
* 25/08/09 : [http://cia.vc/stats/project/rodin-b-sharp/.message/248437 Implemented new Prover Rules] | |||
* 20/08/09 : [http://cia.vc/stats/project/rodin-b-sharp/.message/24160f New extensible plug-ins] org.rodinp.keyboard and org.eventb.keyboard | * 20/08/09 : [http://cia.vc/stats/project/rodin-b-sharp/.message/24160f New extensible plug-ins] org.rodinp.keyboard and org.eventb.keyboard | ||
* 31/07/09 : UML-B plugin released for Rodin 1.0.0 | * 31/07/09 : UML-B plugin released for Rodin 1.0.0 | ||
Line 24: | Line 25: | ||
* 09/04/09 : [http://cia.vc/stats/project/rodin-b-sharp/.message/e10e0 Fix] ''Scrollbar in instantiation boxes'' bug | * 09/04/09 : [http://cia.vc/stats/project/rodin-b-sharp/.message/e10e0 Fix] ''Scrollbar in instantiation boxes'' bug | ||
* 04/04/09: [http://cia.vc/stats/project/rodin-b-sharp/.message/d4da9 Major update] [[Mathematical Language Evolution Design|implementing]] the [[Changes to the Mathematical Language of Event-B|mathematical language V2]], while retaining full backward compatibility. New plug-in version is 1.0.0. | * 04/04/09: [http://cia.vc/stats/project/rodin-b-sharp/.message/d4da9 Major update] [[Mathematical Language Evolution Design|implementing]] the [[Changes to the Mathematical Language of Event-B|mathematical language V2]], while retaining full backward compatibility. New plug-in version is 1.0.0. | ||
</div> | </div> |
Revision as of 08:51, 26 August 2009
Displayed as follow on the Main Page
- 25/08/09 : Implemented new Prover Rules
- 20/08/09 : New extensible plug-ins org.rodinp.keyboard and org.eventb.keyboard
- 31/07/09 : UML-B plugin released for Rodin 1.0.0
- 27/07/09 : Fixed requirement plug-in for rodin 1.0.0
- 01/07/09 : Release 1.0.0 of Rodin is now available (changelog)
- 15/06/09 : Fix bug 2806135: DB exception when creating new ISeesContext
- 14/06/09 : Fix bug 2805521: Erroneous paste in ProofControl made the input area a StyledText
- 12/06/09 : Fix bug 2804046: AssertionError in Indexer
- 05/06/09 : Fix in added feature #2564322: the state of the buttons did not correctly refresh.
- 05/06/09 : Fix bug #2800402: Exception when opening a proof obligationRemoved unneeded select actions
- 03/06/09 : Fix bug #2800545: Reordering is global but should be local
- 02/06/09 : Fix bug #2798407: Events can have an empty label
- 29/05/09 : Fix bug #2684839: Statistics view doesn't refresh
- 28/05/09 : Fix bug #2798042: Deadlock of the indexer when closing a project
- xx/05/09 : Several bug corrections not reported here. See cia.vc
- 04/05/09 : Release Candidate Rodin 1.0RC1 now available
- 09/04/09 : Fix Inconsistency in label generation in the INITIALISATION event. bug
- 09/04/09 : Fix Broken universal instantiation in proving UI bug
- 09/04/09 : Fix Scrollbar in instantiation boxes bug
- 04/04/09: Major update implementing the mathematical language V2, while retaining full backward compatibility. New plug-in version is 1.0.0.