Difference between pages "CamilleX Release Notes" and "Camille Editor"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Son
 
imported>Fabian
m
 
Line 1: Line 1:
−
== Release history ==
+
The first version of the Text Editor will be released in a few weeks, that means in second half of June and not before the Rodin release 1.0 has been published.
−
=== 0.0.6 Support for Machine Inclusion and Event Synchronisation ===
 
−
* Renamed plug-ins and features to XEvent-B (instead of Event-B XText).
 
−
* XEvent-B Branding (0.0.2): Renamed from Event-B XText Branding.
 
−
* XEvent-B Documentations (0.0.2): Renamed from Event-B XText Documentations.
 
−
* XEvent-B Cheatsheets (0.0.2): Renamed from Event-B XText Cheatsheets.
 
−
* XEvent-B Common (0.0.3): Renamed from Event-B XText Common.
 
−
* XEvent-B UI (0.0.2): Renamed from Event-B XText UI.
 
−
* XEvent-B XContext (0.0.4): Renamed from Event-B XText Context.
 
−
* XEvent-B XContext IDE (0.0.3): Renamed from Event-B XText Context IDE.
 
−
* XEvent-B XContext UI (0.0.3): Renamed from Event-B Context UI.
 
−
* XEvent-B XMachine (0.0.4): Renamed from Event-B XText Machine.
 
−
** Support Machine Inclusion and Event Synchronisation.
 
−
* XEvent-B XMachine IDE (0.0.3): Renamed from Event-B XText Machine IDE.
 
−
* XEvent-B XMachine UI (0.0.3): Renamed from Event-B XText Machine UI.
 
  
−
=== 0.0.5 ===
+
Until then we are going to release a few testing releases (beta) for interested users. You will find instructions how to install and use these beta-releases on this page.
−
* Event-B XText Documentations (0.0.1): Documentation plug-in (Initial version).
 
  
−
* Event-B XText Cheatsheets (0.0.1): Cheatsheets plug-in including Basic tutorial (Initial version).
 
  
−
=== 0.0.4 ===
+
<div style="background-color:#FFFF00;">
−
* Updated plug-in dependency for the feature
+
'''Warning''':
  
−
=== 0.0.3 ===
+
Don't use the TextEditor yet with your production models!
−
* Event-B XText Context (0.0.3)
+
* The TextEditor is still in heavy development
−
** Issue #3: Single-line comment after the element, multi-line comment before the element
+
* It is based on a new Rodin version which uses a changed database model and therefore is not compatible with older versions.
 +
</div>
  
−
* Event-B XText Context IDE (0.0.2) Regenerated
 
  
−
* Event-B XText ContextUI IDE (0.0.2) Regenerated
+
==Installing ==
 +
The TextEditor relies on features of the Rodin release 1.0 which is not yet released. Therefore you will have to create a new Rodin installation. The following steps will guide you through this process:
  
−
* Event-B XText Machine (0.0.3)
+
# Download a build of Rodin from our CruiseControl server:
−
** Issue #3: Single-line comment after the element, multi-line comment before the element
+
## Point your browser to [http://cruise.cs.uni-duesseldorf.de:8080/dashboard/tab/build/detail/org.rodinp.platform]
−
** Issue #5: Event terminator using 'end' keyword instead of ';'
+
## Download a zip file with a name starting with ''rodin-product'' and matching your platform. For example ''rodin-product-linux.gtk.x86.zip'' if you are working on a Linux system.
 +
# Extract the downloaded zip file.
 +
# Start Rodin from the folder where you extracted the zip file in the previous step.
 +
# Install the TextEditor:
 +
## In the menu choose ''Help'' -> ''Software Updates...''
 +
## Select the tab ''Available Software''
 +
## Click ''Add Site...''
 +
## Use the location URL: <tt>http://www.stups.uni-duesseldorf.de/update-beta/</tt>
 +
## Back in ''Available Software'' open the update site you just added
 +
## Select ''Event-B EMF Framework'' and ''Event-B TextEditor'' and click ''Install...''
 +
# Restart Rodin as suggested.
  
−
* Event-B XText Machine IDE (0.0.2) Regenerated
+
Now you are ready to use the TextEditor.
−
* Event-B XText Machine UI IDE (0.0.2) Regenerated
 
  
−
=== 0.0.2 ===
 
−
* Event-B XText Common (0.0.2)
 
−
** Added transient value service for XContext and XMachine.
 
  
−
* Event-B XText Context (0.0.2):
+
==Usage ==
−
** Added formatter (used for auto-indentation).
 
−
 
 
−
* Event-B XText Machine (0.0.2):
 
−
** Added formatter (used for auto-indentation).
 
−
 
 
−
* Event-B XText UI (0.0.1): Initial version
 
−
** Added context menu for converting machines and contexts to XText.
 
−
 
 
−
=== 0.0.1 Initial version contains the following plug-ins: ===
 
−
* Event-B XText Branding (0.0.1) Initial version: Branding information
 
−
* Event-B XText Common (0.0.1) Initial version: Common facilities
 
−
* Event-B XText Context (0.0.1) Initial version: Core support for Event-B contexts
 
−
* Event-B XText Context IDE (0.0.1) Initial version: IDE for Event-B contexts
 
−
* Event-B XText Context UI (0.0.1) Initial version: UI for Event-B contexts
 
−
* Event-B XText Machine (0.0.1) Initial version: Core support for Event-B machines
 
−
* Event-B XText Machine IDE (0.0.1) Initial version: IDE for Event-B machines
 
−
* Event-B XText Machine UI (0.0.1) Initial version: UI for Event-B machines
 

Revision as of 10:34, 13 May 2009

The first version of the Text Editor will be released in a few weeks, that means in second half of June and not before the Rodin release 1.0 has been published.

Until then we are going to release a few testing releases (beta) for interested users. You will find instructions how to install and use these beta-releases on this page.


Warning:

Don't use the TextEditor yet with your production models!

  • The TextEditor is still in heavy development
  • It is based on a new Rodin version which uses a changed database model and therefore is not compatible with older versions.


Installing

The TextEditor relies on features of the Rodin release 1.0 which is not yet released. Therefore you will have to create a new Rodin installation. The following steps will guide you through this process:

  1. Download a build of Rodin from our CruiseControl server:
    1. Point your browser to [1]
    2. Download a zip file with a name starting with rodin-product and matching your platform. For example rodin-product-linux.gtk.x86.zip if you are working on a Linux system.
  2. Extract the downloaded zip file.
  3. Start Rodin from the folder where you extracted the zip file in the previous step.
  4. Install the TextEditor:
    1. In the menu choose Help -> Software Updates...
    2. Select the tab Available Software
    3. Click Add Site...
    4. Use the location URL: http://www.stups.uni-duesseldorf.de/update-beta/
    5. Back in Available Software open the update site you just added
    6. Select Event-B EMF Framework and Event-B TextEditor and click Install...
  5. Restart Rodin as suggested.

Now you are ready to use the TextEditor.


Usage

Retrieved from ‘https://wiki.event-b.org/index.php?title=CamilleX_Release_Notes&oldid=1066’