1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/isac/ROOT	Wed Jul 17 07:32:53 2013 +0200
     1.3 @@ -0,0 +1,19 @@
     1.4 +(*  Title:  create a heap image for isac on Isabelle2013
     1.5 +    Author: Walther Neuper, TU Graz, 130715
     1.6 +   (c) due to copyright terms
     1.7 +
     1.8 +$ cd /usr/local/isabisac/
     1.9 +$ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac
    1.10 +*)
    1.11 +
    1.12 +session Isac in "~~/src/Tools/isac" = HOL +
    1.13 +  description {*
    1.14 +    Isac core, prototype of a math-engine and knowledge 
    1.15 +    for a TP-based educational mathematics assistant.
    1.16 +
    1.17 +    The java front-end is under development at TU Graz,
    1.18 +    the PolyML math-engine and Isabelle knowledge at RISC Linz.
    1.19 +    See http://www.ist.tugraz.at/isac/.
    1.20 +  *}
    1.21 +  options [document = false]
    1.22 +  theories Build_Isac