diff -r a81828f24172 -r 751b8a13c271 src/Tools/isac/Doc/ROOT
--- a/src/Tools/isac/Doc/ROOT	Mon Mar 22 14:47:06 2021 +0100
+++ b/src/Tools/isac/Doc/ROOT	Thu Apr 08 13:09:44 2021 +0200
@@ -1,3 +1,4 @@
+(* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
   options [document = pdf, document_output = "output"]
   sessions
@@ -15,6 +16,7 @@
     "root.bib"
     "root.tex"
 
+(* run "./bin/isabelle build -v -b Specify_Phase" *)
 session "Specify_Phase" in "Specify_Phase" = HOL +
   options [document = pdf, document_output = "output"]
   sessions
@@ -28,3 +30,4 @@
   document_files
     "root.bib"
     "root.tex"
+    "user-requirements.tex"