Difference between revisions of "Camille Release History"
From Event-B
Jump to navigationJump to searchimported>Jastram (New page: == 1.1.0 (for Rodin 1.2.) not yet released == Release is expected by 5th February 2010 the latest. == 1.0.2 (for Rodin 1.1) released on 17th October 2009 == == 1.0.1 (for Rodin 1.0) rel...) |
imported>Jastram |
||
| Line 1: | Line 1: | ||
| − | == 1.1.0 (for Rodin 1.2.) not yet released == | + | [[Camille_Editor|Camille]] is the Text-Editor for Rodin (as opposed to the structural editor). Camille is currently maintained by the University of Düsseldorf. |
| + | |||
| + | == Camille 1.1.0 (for Rodin 1.2.) not yet released == | ||
Release is expected by 5th February 2010 the latest. | Release is expected by 5th February 2010 the latest. | ||
| − | == 1.0.2 (for Rodin 1.1) released on 17th October 2009 == | + | == Camille 1.0.2 (for Rodin 1.1) released on 17th October 2009 == |
| − | == 1.0.1 (for Rodin 1.0) released on 27th July 2009 == | + | == Camille 1.0.1 (for Rodin 1.0) released on 27th July 2009 == |
| − | == 1.0.0 (for Rodin 1.0.0.r7301) released on 3rd July 2009 == | + | == Camille 1.0.0 (for Rodin 1.0.0.r7301) released on 3rd July 2009 == |
| − | == Pre-Releases == | + | == Camille Pre-Releases == |
* ''30th June 2009'': [[#Version_0.0.6|Version 0.0.6]] released. It is based on Rodin 1.0.0 RC1. | * ''30th June 2009'': [[#Version_0.0.6|Version 0.0.6]] released. It is based on Rodin 1.0.0 RC1. | ||
Revision as of 10:51, 28 January 2010
Camille is the Text-Editor for Rodin (as opposed to the structural editor). Camille is currently maintained by the University of Düsseldorf.
Contents
Camille 1.1.0 (for Rodin 1.2.) not yet released
Release is expected by 5th February 2010 the latest.
Camille 1.0.2 (for Rodin 1.1) released on 17th October 2009
Camille 1.0.1 (for Rodin 1.0) released on 27th July 2009
Camille 1.0.0 (for Rodin 1.0.0.r7301) released on 3rd July 2009
Camille Pre-Releases
- 30th June 2009: Version 0.0.6 released. It is based on Rodin 1.0.0 RC1.
- 19th June 2009: Version 0.0.5 released which fixed the known crucial bugs. It is based on Rodin 1.0.0 RC1.
- 30th May 2009: Version 0.0.4
- 29th May 2009: Version 0.0.3
- 27th May 2009: Version 0.0.2. Update the page due to syntax changes and new version on update-site. Announcement on the DEPLOY tooling mailing list.
- 13th May 2009: Version 0.0.1. Creation of this page and publishing the beta update-site for the first time. Presentation at refocus meeting in Southampton.
