Installation

!!! Isabelle/ISAC requires 4MB memory for succesful execution !!!

Since 2010/11 ISAC's kernel uses the Isabelle/jEdit user interface and also Isabelle's installation technology. Isabelle packs all the (many!) software components required for running into a bundle, with one exception presently. Please, check if you have installed Java from Sun/Oracle (as indicated below) and not OpenJDK. Isabelle/jEdit drives multi-threading to a limit, where OpenJDK just doesn't work as exptected --- please de-install OpenJDK if present on your computer in order not to confuse different versions of Java.

* (1) install Java Runtime Environment 1.6 for the Isabelle/jEdit user interface.

Klicking the above link and subsequently a button on the respective webpage will install java automatically. Please, take the original java from sun / oracle following the link above, others (e.g. OpenJDK) just don't work as expected with the elaborated multithreading in Isabelle/jEdit.

Installation of ISAC's kernel is similar to Isabelle installation, it is easier for Linux than for Windows:

* (2.a) Installation for Windows * (2.b) Installation for Linux