1.1 --- a/src/Tools/isac/ROOT	Fri Nov 17 05:49:54 2017 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Thu Jan 18 15:25:39 2018 +0100
     1.3 @@ -2,6 +2,7 @@
     1.4      Author: Walther Neuper, TU Graz, 130715
     1.5     (c) due to copyright terms
     1.6  
     1.7 +$ export ISABELLE_VERSION=2015 # for libisabelle
     1.8  $ cd /usr/local/isabisac/
     1.9  $ ./bin/isabelle build -v -b Isac
    1.10