neuper@52062: (*  Title:  create a heap image for isac on Isabelle2013
neuper@52062:     Author: Walther Neuper, TU Graz, 130715
neuper@52062:    (c) due to copyright terms
neuper@52062: 
neuper@52062: $ cd /usr/local/isabisac/
neuper@52062: $ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac
neuper@52139: 
neuper@52139: see ~~/etc/settings
neuper@52139:   ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
neuper@52139: before out-outcommenting (*, browser_info = true*) below and ...
neuper@52139: $ ./bin/isabelle build -o browser_info -v -c HOL
neuper@52139: $ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac
neuper@52062: *)
neuper@52062: 
neuper@52062: session Isac in "~~/src/Tools/isac" = HOL +
neuper@52062:   description {*
neuper@52062:     Isac core, prototype of a math-engine and knowledge 
neuper@52062:     for a TP-based educational mathematics assistant.
neuper@52062: 
neuper@52062:     The java front-end is under development at TU Graz,
neuper@52062:     the PolyML math-engine and Isabelle knowledge at RISC Linz.
neuper@52062:     See http://www.ist.tugraz.at/isac/.
neuper@52062:   *}
neuper@52139:   options [document = false (*, browser_info = true*)]
neuper@52062:   theories Build_Isac