1.1 --- a/src/Tools/isac/ROOT	Wed Sep 04 10:17:53 2019 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Tue Sep 10 10:47:18 2019 +0200
     1.3 @@ -24,27 +24,5 @@
     1.4      See http://www.ist.tugraz.at/isac/.
     1.5    \<close>
     1.6    options [document = false (*, browser_info = true*)]
     1.7 -  sessions
     1.8 -    Protocol (* Codec.encode etc required in mathml.sml only *)
     1.9    theories
    1.10      Build_Isac
    1.11 -
    1.12 -(* run  "./bin/isabelle build -v -b Protocol" (* generates Classy, too *)
    1.13 -        "./bin/isabelle build -v -b libisabelle_Isac"
    1.14 -or just "./bin/isabelle jedit -l libisabelle_Isac & "
    1.15 -*)
    1.16 -session libisabelle_Isac in "~~/src/Tools/isac" = HOL +
    1.17 -  description \<open>
    1.18 -    Isac core, prototype of a math-engine and knowledge for engineering math
    1.19 -    + libisabelle by Lars Hupel as interface to the java front-end:
    1.20 -    https://github.com/larsrh/libisabelle
    1.21 -                              
    1.22 -    The java front-end is under development at at FH Hagenberg,
    1.23 -    the Isabelle/ML math-engine and Isabelle knowledge at RISC Linz.
    1.24 -    See http://www.ist.tugraz.at/isac/.
    1.25 -  \<close>
    1.26 -  options [document = false (*, browser_info = true*)]
    1.27 -  sessions
    1.28 -    Isac
    1.29 -  theories
    1.30 -    Isac_Protocol