(*  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 -d src/Tools/isac/ -v -b Isac

# ERROR Duplicate session "Isac" (file "src/Tools/isac/ROOT") REMOVED BY

~/.isabelle/heaps/polyml-5.5.0_x86-linux$ rm Isac

# generate browser info: 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 +

  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