Camille Editor: Difference between revisions
imported>Fabian mNo edit summary |
imported>Fabian No edit summary |
||
Line 1: | Line 1: | ||
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. | 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 | 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. | ||
Line 23: | Line 23: | ||
# Install the TextEditor: | # Install the TextEditor: | ||
## In the menu choose ''Help'' -> ''Software Updates...'' | ## In the menu choose ''Help'' -> ''Software Updates...'' | ||
## Select the tab ''Available Software'' | ## Select the tab ''Available Software'' and click ''Add Site...'' | ||
## Use the location URL: <tt>http://www.stups.uni-duesseldorf.de/update-beta/</tt> | ## 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 | ## Back in ''Available Software'' open the update site you just added | ||
## Select ''Event-B EMF Framework'' and ''Event-B TextEditor'' and click ''Install...'' | ## Select ''Event-B EMF Framework'' and ''Event-B TextEditor'' and click ''Install...'' | ||
# Restart Rodin as suggested. | # Restart Rodin as suggested. | ||
Now you are ready to use the TextEditor. | Now you are ready to use the TextEditor. | ||
==Updating == | |||
From time to time we are going to publish updated beta releases. We recommend that you update your new Rodin installation with these updates for the TextEditor (and EMF Framework). | |||
Although we will try to announce these updates on this site too, it is a lot easier if you setup Rodin to let you know when an update is available. The following steps guide you through this process: | |||
# In Rodin open the preferences (''Window'' -> ''Preferences'' or for Mac: ''Rodin'' -> ''Preferences'') | |||
# Find ''Install/Update'' -> ''Automatic Updates'' | |||
# Select ''Automatically find new updates and notify me'' | |||
As soon as Rodin finds a new update it will ask you if you would like to install it. | |||
==Usage == | ==Usage == |
Revision as of 10:42, 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:
- Download a build of Rodin from our CruiseControl server:
- Point your browser to [1]
- 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 and click Add Site...
- Use the location URL: http://www.stups.uni-duesseldorf.de/update-beta/
- 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.
Now you are ready to use the TextEditor.
Updating
From time to time we are going to publish updated beta releases. We recommend that you update your new Rodin installation with these updates for the TextEditor (and EMF Framework).
Although we will try to announce these updates on this site too, it is a lot easier if you setup Rodin to let you know when an update is available. The following steps guide you through this process:
- In Rodin open the preferences (Window -> Preferences or for Mac: Rodin -> Preferences)
- Find Install/Update -> Automatic Updates
- Select Automatically find new updates and notify me
As soon as Rodin finds a new update it will ask you if you would like to install it.