diff -r 422186a35be8 -r 6b021e8cb8da src/Tools/isac/ROOT
--- a/src/Tools/isac/ROOT	Thu Apr 08 13:27:27 2021 +0200
+++ b/src/Tools/isac/ROOT	Tue Apr 13 13:20:05 2021 +0200
@@ -56,3 +56,18 @@
     "BridgeJEdit/BridgeJEdit"
     "Knowledge/Build_Thydata"
     "Build_Isac"
+
+(*~~$ ./bin/isabelle build -v -b Doc          #check ok, no output
+  *)
+session Doc in Doc = Interpret +
+  description "
+    Formally checked documentation for Isac in analogy to ~~/Doc/.
+  "
+  options [document = false (*, browser_info = true*)]
+  directories
+    "Lucas_Interpreter"
+    "Specify_Phase"
+  theories
+    "Lucas_Interpreter/Lucas_Interpreter"
+    "Specify_Phase/Specify_Phase"
+