1.1 --- a/src/Tools/isac/ROOT	Mon Mar 26 16:27:43 2018 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Sat Mar 31 10:30:17 2018 +0200
     1.3 @@ -2,7 +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 +$ export ISABELLE_VERSION=2017 # for libisabelle
     1.9  $ cd /usr/local/isabisac/
    1.10  $ ./bin/isabelle build -v -b Isac
    1.11  $ ./bin/isabelle build -v -b libisabelle_Isac
    1.12 @@ -12,6 +12,8 @@
    1.13  before out-outcommenting (*, browser_info = true*) below and ...
    1.14  $ ./bin/isabelle build -o browser_info -v -c HOL
    1.15  $ ./bin/isabelle build -o browser_info -v -b Isac
    1.16 +# this creates, among others:
    1.17 +# file:///home/wneuper/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf
    1.18  *)
    1.19  
    1.20  session Isac in "~~/src/Tools/isac" = HOL +