diff -r 3b2a8b0d8fa9 -r 3b93a3fae554 src/Tools/isac/ROOT
--- a/src/Tools/isac/ROOT	Tue Jul 01 16:10:52 2014 +0200
+++ b/src/Tools/isac/ROOT	Tue Jul 01 16:13:04 2014 +0200
@@ -9,7 +9,7 @@
   ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
 before out-outcommenting (*, browser_info = true*) below and ...
 $ ./bin/isabelle build -o browser_info -v -c HOL
-$ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac     ERROR: duplicate session Isac ?!?
+$ ./bin/isabelle build -o browser_info -v -b Isac
 *)
 
 session Isac in "~~/src/Tools/isac" = HOL +