1 (* Title: create a heap image for isac on Isabelle2013
2 Author: Walther Neuper, TU Graz, 130715
3 (c) due to copyright terms
5 $ cd /usr/local/isabisac/
6 $ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac
8 # ERROR Duplicate session "Isac" (file "src/Tools/isac/ROOT") REMOVED BY
9 ~/.isabelle/heaps/polyml-5.5.0_x86-linux$ rm Isac
14 # generate browser info: see ~~/etc/settings
15 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
16 before out-outcommenting (*, browser_info = true*) below and ...
17 $ ./bin/isabelle build -o browser_info -v -c HOL
18 $ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac
21 session Isac in "~~/src/Tools/isac" = HOL +
23 Isac core, prototype of a math-engine and knowledge
24 for a TP-based educational mathematics assistant.
26 The java front-end is under development at TU Graz,
27 the PolyML math-engine and Isabelle knowledge at RISC Linz.
28 See http://www.ist.tugraz.at/isac/.
30 options [document = false (*, browser_info = true*)]