diff -r 837f9b1bb51d -r 511fc271f783 src/Tools/isac/ROOT
--- a/src/Tools/isac/ROOT	Fri Sep 27 17:42:16 2013 +0200
+++ b/src/Tools/isac/ROOT	Sun Sep 29 18:27:37 2013 +0200
@@ -4,6 +4,12 @@
 
 $ cd /usr/local/isabisac/
 $ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac
+
+see ~~/etc/settings
+  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
 *)
 
 session Isac in "~~/src/Tools/isac" = HOL +
@@ -15,5 +21,5 @@
     the PolyML math-engine and Isabelle knowledge at RISC Linz.
     See http://www.ist.tugraz.at/isac/.
   *}
-  options [document = false]
+  options [document = false (*, browser_info = true*)]
   theories Build_Isac