Home l Brama Tool l Download l Our Demonstrations l Documentation l Links l Contact  

---

Download Brama

History of the Versions

• 0.0.15:

• 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.

• 0.0.14:

• Significant improvement in performance