1.1 --- a/src/Tools/isac/ROOT	Wed Jan 13 14:37:27 2016 +0100
     1.2 +++ b/src/Tools/isac/ROOT	Fri Jan 15 09:35:24 2016 +0100
     1.3 @@ -23,3 +23,16 @@
     1.4    *}
     1.5    options [document = false (*, browser_info = true*)]
     1.6    theories Build_Isac
     1.7 +
     1.8 +session libisabelle_Isac  = HOL +
     1.9 +  description {*
    1.10 +    Isac core, prototype of a math-engine and knowledge for engineering math
    1.11 +    + libisabelle by Lars Hupel as interface to the java front-end:
    1.12 +    https://github.com/larsrh/libisabelle
    1.13 +                              
    1.14 +    The java front-end is under development at TU Graz and at FH Hagenberg,
    1.15 +    the SML math-engine and Isabelle knowledge at RISC Linz.
    1.16 +    For installation see http://www.ist.tugraz.at/isac
    1.17 +  *}
    1.18 +  options [document = false (*, browser_info = true*)]
    1.19 +  theories Build_Isac "~~/libisabelle-protocol/isabelle-2015/Protocol"