diff -r 422186a35be8 -r 6b021e8cb8da src/Tools/isac/Doc/ROOT
--- a/src/Tools/isac/Doc/ROOT	Thu Apr 08 13:27:27 2021 +0200
+++ b/src/Tools/isac/Doc/ROOT	Tue Apr 13 13:20:05 2021 +0200
@@ -1,10 +1,15 @@
-(* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
+(*~~$ ./bin/isabelle build ???
+*)
 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
   options [document = pdf, document_output = "output"]
   sessions
     "Interpret"
   theories
     "Lucas_Interpreter"
+  document_files (in "../")
+    "isabelle.sty"
+    "isabellesym.sty"
+    "pdfsetup.sty"
   document_files
     "bend-7-70-en.png"
     "fun-pack-biegelinie-2.png"
@@ -12,14 +17,19 @@
     "root.bib"
     "root.tex"
 
-(* run "./bin/isabelle build -v -b Specify_Phase" *)
+(*~~$ ./bin/isabelle build -v -b -D ~~/src/Tools/isac/Doc/Specify_Phase
+    *** Bad session root directory: "/usr/local/isabisac/src/Tools/isac/Doc/Specify_Phase"
+  *)
 session "Specify_Phase" in "Specify_Phase" = HOL +
   options [document = pdf, document_output = "output"]
   sessions
     "Specify"
   theories
     "Specify_Phase"
+  document_files (in "../")
+    "isabelle.sty"
+    "isabellesym.sty"
+    "pdfsetup.sty"
   document_files
     "root.bib"
     "root.tex"
-    "user-requirements.tex"