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: 
wneuper@59320: $ export ISABELLE_VERSION=2015 # for libisabelle
neuper@52062: $ cd /usr/local/isabisac/
neuper@55280: $ ./bin/isabelle build -v -b Isac
neuper@52139: 
neuper@55280: 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@55472: $ ./bin/isabelle build -o browser_info -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
wneuper@59207: 
wneuper@59207: session libisabelle_Isac  = HOL +
wneuper@59207:   description {*
wneuper@59207:     Isac core, prototype of a math-engine and knowledge for engineering math
wneuper@59207:     + libisabelle by Lars Hupel as interface to the java front-end:
wneuper@59207:     https://github.com/larsrh/libisabelle
wneuper@59207:                               
wneuper@59207:     The java front-end is under development at TU Graz and at FH Hagenberg,
wneuper@59207:     the SML math-engine and Isabelle knowledge at RISC Linz.
wneuper@59207:     For installation see http://www.ist.tugraz.at/isac
wneuper@59207:   *}
wneuper@59207:   options [document = false (*, browser_info = true*)]
wneuper@59216:   theories Isac_Protocol 
wneuper@59216:     "~~/libisabelle-protocol/protocol/Protocol" "~~/libisabelle-protocol/operations/Basic"