diff -r 62ff42cd45c7 -r 1aa20558eca8 src/Tools/isac/ROOT
--- a/src/Tools/isac/ROOT	Tue Sep 03 17:43:42 2019 +0200
+++ b/src/Tools/isac/ROOT	Wed Sep 04 10:17:53 2019 +0200
@@ -15,14 +15,14 @@
 
 (* run "./bin/isabelle build -v -b Isac" *)
 session Isac in "~~/src/Tools/isac" = HOL +
-  description {*
+  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 TU Graz and at FH Hagenberg,
+    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*)]
   sessions
     Protocol (* Codec.encode etc required in mathml.sml only *)
@@ -34,15 +34,15 @@
 or just "./bin/isabelle jedit -l libisabelle_Isac & "
 *)
 session libisabelle_Isac in "~~/src/Tools/isac" = HOL +
-  description {*
+  description \<open>
     Isac core, prototype of a math-engine and knowledge for engineering math
     + libisabelle by Lars Hupel as interface to the java front-end:
     https://github.com/larsrh/libisabelle
                               
-    The java front-end is under development at TU Graz and at FH Hagenberg,
+    The java front-end is under development at 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*)]
   sessions
     Isac