1.1 --- a/src/Tools/isac/ROOT	Thu Nov 21 18:12:17 2013 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Thu Nov 21 18:20:07 2013 +0100
     1.3 @@ -3,15 +3,9 @@
     1.4     (c) due to copyright terms
     1.5  
     1.6  $ cd /usr/local/isabisac/
     1.7 -$ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac
     1.8 +$ ./bin/isabelle build -v -b Isac
     1.9  
    1.10 -# ERROR Duplicate session "Isac" (file "src/Tools/isac/ROOT") REMOVED BY
    1.11 -~/.isabelle/heaps/polyml-5.5.0_x86-linux$ rm Isac
    1.12 -
    1.13 -
    1.14 -
    1.15 -
    1.16 -# generate browser info: see ~~/etc/settings
    1.17 +see ~~/etc/settings
    1.18    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.19  before out-outcommenting (*, browser_info = true*) below and ...
    1.20  $ ./bin/isabelle build -o browser_info -v -c HOL