1 (* Title: create a heap image for isac on Isabelle2013
2 Author: Walther Neuper, TU Graz, 130715
3 (c) due to copyright terms
5 $ export ISABELLE_VERSION=2017 # for libisabelle
6 $ cd /usr/local/isabisac/
7 $ ./bin/isabelle build -v -b Isac
8 $ ./bin/isabelle build -v -b libisabelle_Isac
11 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
12 before out-outcommenting (*, browser_info = true*) below and ...
13 $ ./bin/isabelle build -o browser_info -v -c HOL
14 $ ./bin/isabelle build -o browser_info -v -b Isac
15 # this creates, among others:
16 # file:///home/wneuper/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf
19 session Isac in "~~/src/Tools/isac" = HOL +
21 Isac core, prototype of a math-engine and knowledge
22 for a TP-based educational mathematics assistant.
24 The java front-end is under development at TU Graz,
25 the PolyML math-engine and Isabelle knowledge at RISC Linz.
26 See http://www.ist.tugraz.at/isac/.
28 options [document = false (*, browser_info = true*)]
31 session libisabelle_Isac = HOL +
33 Isac core, prototype of a math-engine and knowledge for engineering math
34 + libisabelle by Lars Hupel as interface to the java front-end:
35 https://github.com/larsrh/libisabelle
37 The java front-end is under development at TU Graz and at FH Hagenberg,
38 the SML math-engine and Isabelle knowledge at RISC Linz.
39 For installation see http://www.ist.tugraz.at/isac
41 options [document = false (*, browser_info = true*)]
42 theories Isac_Protocol
43 "~~/libisabelle-protocol/libisabelle/protocol/Protocol"