Feature 2.0.0 (tested on Eclipse 3.4.1, JRE 1.6.0_02, Win Vista) - New install site: www.doc.ic.ac.uk/ltsa/eclipse/install - Repackaged for Eclipse 3.4 install (still works on 3.3) Feature 1.5.4 (tested on Eclipse 3.3 I20070625-1500, JRE 1.6.0_02, Win Vista) - JRE 1.6 required- updated draw for state changes on a single machineNote: some problems reported running this version on MAC (investigating) Feature 1.5.2 (tested on Eclipse 3.3 I20070625-1500, JRE 1.5.0_11, Win Vista) - Updated view listener routines (views do not need editor for state display) Feature 1.5.1 (tested on Eclipse 3.3 I20070625-1500, JRE 1.5.0_11, WinXPSP2) - Preferences page now takes effect on compiler options "warnings" and "fairchoice" - fixed ProblemMarker issue where missing resource/location added Feature 1.5 (tested on Eclipse 3.3 I20070625-1500, JRE 1.5.0_11, WinXPSP2) - Added FLTL Liveness Check to analysis - LTL Assertions listed in Outline View - Updated layout of Outline View - simplified names and control for compile/check etc. - DrawCanvas - split labels now behaves properly and adjusted pos. to be under arrow ** BIG VERSION LEAP ** Feature 1.3.2 (tested on Eclipse 3.3 I20070625-1500, JRE 1.5.0_11, WinXPSP2) - Zoom (font inc/dec) added to FSP Editor, Compiler and Animator views - Updated DrawCanvas with issue of null pointer in DrawMachine proc. - Added label size increase/reduction for transition labels on Draw View. - Added label orientation for transition labels on Draw View. Feature 1.3.1 (tested on Eclipse 3.3 I20070625-1500) - Removed unneeded libraries and refactored some code Feature 1.3 (tested on Eclipse 3.3 I20070625-1500) - FSP and String based storage classes added - Marker management updated in FSP editor Feature 1.2 - Renamed treeitem.GIF icon to treeitem.gif (Unix compatible). - LTS Draw now uses double buffering for smoother edges - Outline View updates properly with either only an LTS editor or extended editor Feature 1.1 - Renamed LTSA Process Simulator > LTS Interaction Animator - Added function to saveImage to GIF, JPG or PNG of LTS in Draw View via toolbar button on view Feature 1.0.1 - Updated versioning numbers to Unicode 5.0 standard. - Fixed issue with LTSA Animator View error on Eclipse startup - no state currently compiled. Feature 1.0 - Major Version Release 07/03/07 - LTSA Eclipse now includes just core FSP Editor, LTS Views and Functions 07/03/07 - Split WS-Engineer and LTSA core functions in to seperate modules