(*  Title:  create a heap image for isac on Isabelle2013
    Author: Walther Neuper, TU Graz, 130715
   (c) due to copyright terms

$ cd /usr/local/isabisac/
$ ./bin/isabelle build -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     ERROR: duplicate session Isac ?!?
*)

session Isac in "~~/src/Tools/isac" = HOL +
  description {*
    Isac core, prototype of a math-engine and knowledge 
    for a TP-based educational mathematics assistant.

    The java front-end is under development at TU Graz,
    the PolyML math-engine and Isabelle knowledge at RISC Linz.
    See http://www.ist.tugraz.at/isac/.
  *}
  options [document = false (*, browser_info = true*)]
  theories Build_Isac