Download ISAC Math-Engine

/usr/local/Isabelle2013-2
 * (1) Install the last official release of Isabelle and follow the respective instructions for Linux, Windows or Mac. Let us assume, you install to

http://www.ist.tugraz.at/projects/isac/www/download/ISAC-2013-2.tar.gz
 * (2) Download the ISAC binary by use of your web browser (and store it somewhere, e.g. ~/tmp/)


 * (3) Copy the ISAC binary into the Isabelle installation. There are two kinds of Isabelle installations, one with the heaps within the installation directory (3a) and one in a directory with individual settings:

cp ~/tmp/Isac-2013-2 /usr/local/Isabelle2013-2/heaps/Isac cp ~/tmp/Isac-2013-2 ~/.isabelle/Isabelle2013-2/heaps/polyml-5.5.1_x86-linux/Isac Note the re-naming of Isac-2013-2 to Isac, which is mandatory.
 * (3a)
 * (3b)