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 -v -b Isac
9 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
10 before out-outcommenting (*, browser_info = true*) below and ...
11 $ ./bin/isabelle build -o browser_info -v -c HOL
12 $ ./bin/isabelle build -o browser_info -v -b Isac
15 session Isac in "~~/src/Tools/isac" = HOL +
17 Isac core, prototype of a math-engine and knowledge
18 for a TP-based educational mathematics assistant.
20 The java front-end is under development at TU Graz,
21 the PolyML math-engine and Isabelle knowledge at RISC Linz.
22 See http://www.ist.tugraz.at/isac/.
24 options [document = false (*, browser_info = true*)]
27 session libisabelle_Isac = HOL +
29 Isac core, prototype of a math-engine and knowledge for engineering math
30 + libisabelle by Lars Hupel as interface to the java front-end:
31 https://github.com/larsrh/libisabelle
33 The java front-end is under development at TU Graz and at FH Hagenberg,
34 the SML math-engine and Isabelle knowledge at RISC Linz.
35 For installation see http://www.ist.tugraz.at/isac
37 options [document = false (*, browser_info = true*)]
38 theories Build_Isac "~~/libisabelle-protocol/isabelle/2015/Protocol" "~~/libisabelle-protocol/operations/Basic"