Skip to content

Commit

Permalink
Update README for 2.1.0 release
Browse files Browse the repository at this point in the history
  • Loading branch information
tshoang committed Feb 21, 2021
1 parent 556f0b1 commit 01366de
Show file tree
Hide file tree
Showing 2 changed files with 26 additions and 1 deletion.
25 changes: 25 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,31 @@ This feature provides a text editor (CamilleX) for Event-B constructs (e.g., XMa

Release history:
---------------
### 2.1.0 Usability Update ###
#### Updated Plug-ins/Features ####
- XContext (2.1.0): Attach the markers to the XContext's name if no child element found (see Issue #65).
- XContext UI (2.1.0): Added handler to insert Event-B symbols into XContext Editor (see Issue #67).
- XMachine (2.1.0): Attach the markers to the XMachine's name if no child element found (see Issue #65).
- XMachine UI (2.1.0): Added handler to insert Event-B symbols into XMachine Editor (see Issue #67).
- CamilleX UI (1.1.0):
+ Added a context menu item to do the batch generation of CamilleX source files (see Issue #63).
+ Added common implementation for a handler to insert Event-B Symbols to a text editor (see Issue #67).
#### Fixed Issues ####
- Issue #63: Batch generation for a collection of CamilleX source files.
- Issue #65: Markers attach to an XMachine or an XContext.
- Issue #67: SymbolTable does not work with CamilleX editors
### 2.0.2 Maintenance release ###
- Fixed the Update Site name.
- Removed the included features: Inclusion, Records, Containment
#### Updated Plug-ins ####
- XContext (2.0.2):
+ Added extra dependency on the Record Edit Plug-in.
- XMachine (2.0.2):
+ Added extra dependency on the Inclusion Edit Plug-in.
+ Added extra dependency on the Record Edit Plug-in.
+ Added extra dependency on the Containment Edit Plug-in.
- XMachine UI (2.0.1):
+ Update dependency range for org.eventb.core.emf.
### 2.0.1 Maintenance release ###
#### Updated Plugins/Features ####
- Branding (0.0.5): Update copyright information on branding.
Expand Down
2 changes: 1 addition & 1 deletion ac.soton.xeventb.feature/feature.properties
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ text editor (see Issue #67).\n\
+ Added extra dependency on the Record Edit Plug-in.\n\
+ Added extra dependency on the Containment Edit Plug-in.\n\
- XMachine UI (2.0.1):\n\
- Update dependency range for org.eventb.core.emf.\n\
+ Update dependency range for org.eventb.core.emf.\n\
### 2.0.1 Maintenance release ###\n\
#### Updated Plug-ins ####\n\
- Branding (0.0.5): Update copyright information on branding.\n\
Expand Down

0 comments on commit 01366de

Please sign in to comment.