History of the Versions
- Correction of a bug preventing the operations of schedulers under MacOS
- Addition of a button to sort variables in the animator.
- Addition of an “animate” button for *.mch and *.ref files. This command converts B files into rodin files and launches the animator on the converted file.
- Significant improvement in performance