1.1 --- a/src/Tools/isac/ROOT	Fri Sep 27 17:42:16 2013 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Sun Sep 29 18:27:37 2013 +0200
     1.3 @@ -4,6 +4,12 @@
     1.4  
     1.5  $ cd /usr/local/isabisac/
     1.6  $ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac
     1.7 +
     1.8 +see ~~/etc/settings
     1.9 +  ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
    1.10 +before out-outcommenting (*, browser_info = true*) below and ...
    1.11 +$ ./bin/isabelle build -o browser_info -v -c HOL
    1.12 +$ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac
    1.13  *)
    1.14  
    1.15  session Isac in "~~/src/Tools/isac" = HOL +
    1.16 @@ -15,5 +21,5 @@
    1.17      the PolyML math-engine and Isabelle knowledge at RISC Linz.
    1.18      See http://www.ist.tugraz.at/isac/.
    1.19    *}
    1.20 -  options [document = false]
    1.21 +  options [document = false (*, browser_info = true*)]
    1.22    theories Build_Isac