Camille Release History: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Jastram
imported>Jastram
Line 1: Line 1:
[[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_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, alpha available ==
== Camille 1.1.1 (for Rodin 1.2.) BETA released ==


'''UPDATE:''' alpha-2 is now available (for Rodin 1.2, NOT the RC anymore).  Please make sure you have the latest alpha version.
'''UPDATE:''' Camille 1.1.1.beta is now available via the ProB Update Site.


The beta will be released as soon as the EMF-Framework for Rodin is released.
'''BUG NOTE:''' (8-Feb-2010) There is a known bug that prevents Camille sometimes to work with refinements. We're working on resolving this.
 
Production Release is expected by 12th February 2010 the latest.
 
An alpha release is available.  To try it out:
* Download and install the Release Candidate
* Download the [http://www.stups.uni-duesseldorf.de/~jastram/camille-1.1.0.alpha-2.zip Camille Alpha Update Site]
* Add the zip file as a new update site (Add... Archive)
* Camille 1.1.0.alpha-2 should be the only option available


== Camille 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 ==

Revision as of 15:56, 8 February 2010

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.1 (for Rodin 1.2.) BETA released

UPDATE: Camille 1.1.1.beta is now available via the ProB Update Site.

BUG NOTE: (8-Feb-2010) There is a known bug that prevents Camille sometimes to work with refinements. We're working on resolving this.

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.