diff -r 5c56f14bea53 -r e11233d9b98e src/Tools/isac/ROOT
--- a/src/Tools/isac/ROOT	Tue Sep 04 14:50:30 2018 +0200
+++ b/src/Tools/isac/ROOT	Wed Sep 05 15:34:39 2018 +0200
@@ -2,10 +2,7 @@
     Author: Walther Neuper, TU Graz, 130715
    (c) due to copyright terms
 
-$ export ISABELLE_VERSION=2017 # for libisabelle
-$ cd /usr/local/isabisac/
-$ ./bin/isabelle build -v -b Isac
-$ ./bin/isabelle build -v -b libisabelle_Isac
+$ export ISABELLE_VERSION=2018 # for libisabelle
 
 see ~~/etc/settings
   ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
@@ -22,25 +19,32 @@
     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,
-    the PolyML math-engine and Isabelle knowledge at RISC Linz.
+    The java front-end is under development at TU Graz and at FH Hagenberg,
+    the Isabelle/ML math-engine and Isabelle knowledge at RISC Linz.
     See http://www.ist.tugraz.at/isac/.
   *}
   options [document = false (*, browser_info = true*)]
-  theories Build_Isac
+  sessions
+    Protocol (* Codec.encode etc required in mathml.sml only *)
+  theories
+    Build_Isac
 
-session libisabelle_Isac  = HOL +
+(* run  "./bin/isabelle build -v -b Protocol" (* generates Classy, too *)
+        "./bin/isabelle build -v -b libisabelle_Isac"
+or just "./bin/isabelle jedit -l libisabelle_Isac & "
+*)
+session libisabelle_Isac in "~~/src/Tools/isac" = HOL +
   description {*
     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 SML math-engine and Isabelle knowledge at RISC Linz.
-    For installation see http://www.ist.tugraz.at/isac
+    the Isabelle/ML math-engine and Isabelle knowledge at RISC Linz.
+    See http://www.ist.tugraz.at/isac/.
   *}
   options [document = false (*, browser_info = true*)]
   sessions
-    Protocol
+    Isac
   theories
     Isac_Protocol