* Allowed loading B machines by entering their code directly, without an explicit `::load` command, similar to how this is already allowed with expressions.
* Allowed loading B machines by entering their code directly, without an explicit `::load` command, similar to how this is already allowed with expressions.
* Added a `:bsymb` command to load ProB's custom bsymb.sty LaTeX definitions on demand. After this command is executed, bsymb commands can be used in LaTeX formulas in Markdown cells.
* Added a `:bsymb` command to load ProB's custom bsymb.sty LaTeX definitions on demand. After this command is executed, bsymb commands can be used in LaTeX formulas in Markdown cells.
* Added support for Java 11.
* Added support for Java 11.
* Updated ProB 2 to version 3.2.12.
* Updated ProB 2 to version 3.10.0.
* Fixed installation problems under Windows (paths in the kernel metadata are now escaped correctly).
* Fixed installation problems under Windows (paths in the kernel metadata are now escaped correctly).
* Fixed confusing handling of trailing spaces in commands.
* Fixed confusing handling of trailing spaces in commands.
* Fixed `:show` not displaying animation images correctly for machines outside of the kernel's working directory.
* Fixed `:show` not displaying animation images correctly for machines outside of the kernel's working directory.
