1.1 --- a/src/Tools/isac/ROOT	Tue Sep 03 17:43:42 2019 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Wed Sep 04 10:17:53 2019 +0200
     1.3 @@ -15,14 +15,14 @@
     1.4  
     1.5  (* run "./bin/isabelle build -v -b Isac" *)
     1.6  session Isac in "~~/src/Tools/isac" = HOL +
     1.7 -  description {*
     1.8 +  description \<open>
     1.9      Isac core, prototype of a math-engine and knowledge 
    1.10      for a TP-based educational mathematics assistant.
    1.11  
    1.12 -    The java front-end is under development at TU Graz and at FH Hagenberg,
    1.13 +    The java front-end is under development at FH Hagenberg,
    1.14      the Isabelle/ML math-engine and Isabelle knowledge at RISC Linz.
    1.15      See http://www.ist.tugraz.at/isac/.
    1.16 -  *}
    1.17 +  \<close>
    1.18    options [document = false (*, browser_info = true*)]
    1.19    sessions
    1.20      Protocol (* Codec.encode etc required in mathml.sml only *)
    1.21 @@ -34,15 +34,15 @@
    1.22  or just "./bin/isabelle jedit -l libisabelle_Isac & "
    1.23  *)
    1.24  session libisabelle_Isac in "~~/src/Tools/isac" = HOL +
    1.25 -  description {*
    1.26 +  description \<open>
    1.27      Isac core, prototype of a math-engine and knowledge for engineering math
    1.28      + libisabelle by Lars Hupel as interface to the java front-end:
    1.29      https://github.com/larsrh/libisabelle
    1.30                                
    1.31 -    The java front-end is under development at TU Graz and at FH Hagenberg,
    1.32 +    The java front-end is under development at at FH Hagenberg,
    1.33      the Isabelle/ML math-engine and Isabelle knowledge at RISC Linz.
    1.34      See http://www.ist.tugraz.at/isac/.
    1.35 -  *}
    1.36 +  \<close>
    1.37    options [document = false (*, browser_info = true*)]
    1.38    sessions
    1.39      Isac