| author | Walther Neuper <neuper@ist.tugraz.at> |
| Wed, 17 Jul 2013 07:32:53 +0200 | |
| changeset 52062 | b3f18f0d55d9 |
| child 52139 | 511fc271f783 |
| permissions | -rw-r--r-- |
| neuper@52062 | 1 |
(* Title: create a heap image for isac on Isabelle2013 |
| neuper@52062 | 2 |
Author: Walther Neuper, TU Graz, 130715 |
| neuper@52062 | 3 |
(c) due to copyright terms |
| neuper@52062 | 4 |
|
| neuper@52062 | 5 |
$ cd /usr/local/isabisac/ |
| neuper@52062 | 6 |
$ ./bin/isabelle build -d src/Tools/isac/ -v -b Isac |
| neuper@52062 | 7 |
*) |
| neuper@52062 | 8 |
|
| neuper@52062 | 9 |
session Isac in "~~/src/Tools/isac" = HOL + |
| neuper@52062 | 10 |
description {*
|
| neuper@52062 | 11 |
Isac core, prototype of a math-engine and knowledge |
| neuper@52062 | 12 |
for a TP-based educational mathematics assistant. |
| neuper@52062 | 13 |
|
| neuper@52062 | 14 |
The java front-end is under development at TU Graz, |
| neuper@52062 | 15 |
the PolyML math-engine and Isabelle knowledge at RISC Linz. |
| neuper@52062 | 16 |
See http://www.ist.tugraz.at/isac/. |
| neuper@52062 | 17 |
*} |
| neuper@52062 | 18 |
options [document = false] |
| neuper@52062 | 19 |
theories Build_Isac |