New version of ERTMSFormalSpecs released - version 1.0.60 - Changelog

• Tool
• Syntax highlighting
• Reviewed the way the MoreInfo view is displayed, to get clean indentation
• EFS no longuer request to save when no modification is done on the model (https://github.com/openETCS/ERTMSFormalSpecs/issues/469 )  
• Fixed issues when refactoring. Also allows to clean up the complete model
•  Added the actual value in the structure editor (https://github.com/openETCS/ERTMSFormalSpecs/issues/605 and https://github.com/openETCS/ERTMSFormalSpecs/issues/608 ) 
• Model
•  New brake handling model 
• Refactoring the way Monitoring type hare handled
•  Wrong range for Q_NV_LOCACC (https://github.com/openETCS/ERTMSFormalSpecs/issues/611 ) 
• Scenario Editor (version 1.0.17)
•  Speed offset specified in km/h instead of percentage 
•  Speed profile computation corrected to compute “smooth” decelerations between two speed changes (Modify the speed profile computation) 
• Combination of different animation modes (Allow to combine different mode executions) 
• Speed profile
• Permitted speed (Allow the user to define the offset related to the permitted speed and Problem with offset from P)  
• Brake application (Provide the possibility to simulate brake application) 
•  Display of deceleration values for the speed profile
• Hiding of the events and/or speed profile (Allow to hide layers)
• Bug fixes 
• It shouldn't be possible to change the selected sub-sequence when the execution is on-going
• Connect button should be disabled when executing a scenario 
• Clicking on a single event of the same substep cycles through all events of the substep
• Bug fix when creating new tools (New tool box event & expressions) 
• DMI (version 1.0.10)
•  Updated to match the model changes