1.1 --- a/src/Tools/isac/ROOT	Thu Nov 21 11:46:00 2013 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Thu Nov 21 16:56:13 2013 +0100
     1.3 @@ -5,7 +5,13 @@
     1.4  $ cd /usr/local/isabisac/
     1.5  $ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac
     1.6  
     1.7 -see ~~/etc/settings
     1.8 +# ERROR Duplicate session "Isac" (file "src/Tools/isac/ROOT") REMOVED BY
     1.9 +~/.isabelle/heaps/polyml-5.5.0_x86-linux$ rm Isac
    1.10 +
    1.11 +
    1.12 +
    1.13 +
    1.14 +# generate browser info: see ~~/etc/settings
    1.15    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.16  before out-outcommenting (*, browser_info = true*) below and ...
    1.17  $ ./bin/isabelle build -o browser_info -v -c HOL