(*  Title:  create a heap image for isac on Isabelle2013

     Author: Walther Neuper, TU Graz, 130715

    (c) due to copyright terms

 see ~~/etc/settings

   ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"

 before out-outcommenting (*, browser_info = true*) below and ...

 $ ./bin/isabelle build -o browser_info -v -c HOL

 $ ./bin/isabelle build -o browser_info -v -b Isac

 # this creates, among others:

 # file:///home/wneuper/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf

 *)

 (* run "./bin/isabelle build -v -b Isac" *)

 session Isac in "~~/src/Tools/isac" = HOL +

   description \<open>

     Isac core, prototype of a math-engine and knowledge 

     for a TP-based educational mathematics assistant.

     The java front-end is under development at FH Hagenberg,

     the Isabelle/ML math-engine and Isabelle knowledge at RISC Linz.

     See http://www.ist.tugraz.at/isac/.

   \<close>

   options [document = false (*, browser_info = true*)]

   theories

     Build_Isac

 (* run "./bin/isabelle build -v -b Lucas_Interpreter" *)

 session Interpret = HOL +

   description \<open>

     Session Isac restricted to code required for Lucas_Interpreter.

     "Lucas-Interpretation on Isabelle’s Functions"

     and meant as a first step towards documentation.

   \<close>

   options [document = false (*, browser_info = true*)]

   theories

     "Interpret/Interpret"