Update MathEngine

Update MathEngine

Some updates of the Isac kernel, i.e. Isabelle/Isac, require an update of the installation on the Java-side established by Setup_isac-java.

Depending on the kind of update in Isabelle/Isac you do either (1) or (2) or (3) or (2+3).

(1) Re-install the whole Isac kernel
This is required, if Isac has updated to a new Isabelle version. In this case follow all points in Setup_isac-java and in Setup_isac-java

(2) Update the code of the Isac kernel
This is required, if Isac has changed some functionality relevant for the front-end. In this case follow the points (2.2)..(2.4) (3.2) in Setup_isac-java and in Setup_isac-java respectively.

(3) Update the interface
This is required, if Lars Hupel provides a major update of his libisabelle. In this case follow the points (2.2)..(2.3) (3.1)..(3.2) in Setup_isac-java and in Setup_isac-java respectively. Also download cli-assembly-0.3.3.jar from https://github.com/larsrh/libisabelle/releases and replace the old version in Eclipses library, see (6.2) in Setup_isac-java.

In case libisabelle requires code updates in isac-java, have a look at Hello_PIDE.java in the libisabelle repository.