1.1 --- a/src/Tools/isac/ROOT	Sun Jun 22 15:17:07 2014 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Sun Jun 22 15:22:30 2014 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     1.5  before out-outcommenting (*, browser_info = true*) below and ...
     1.6  $ ./bin/isabelle build -o browser_info -v -c HOL
     1.7 -$ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac
     1.8 +$ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac     ERROR: duplicate session Isac ?!?
     1.9  *)
    1.10  
    1.11  session Isac in "~~/src/Tools/isac" = HOL +