1.1 --- a/src/Tools/isac/Doc/ROOT Mon Mar 22 14:47:06 2021 +0100
1.2 +++ b/src/Tools/isac/Doc/ROOT Thu Apr 08 13:09:44 2021 +0200
1.3 @@ -1,3 +1,4 @@
1.4 +(* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
1.5 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
1.6 options [document = pdf, document_output = "output"]
1.7 sessions
1.8 @@ -15,6 +16,7 @@
1.9 "root.bib"
1.10 "root.tex"
1.11
1.12 +(* run "./bin/isabelle build -v -b Specify_Phase" *)
1.13 session "Specify_Phase" in "Specify_Phase" = HOL +
1.14 options [document = pdf, document_output = "output"]
1.15 sessions
1.16 @@ -28,3 +30,4 @@
1.17 document_files
1.18 "root.bib"
1.19 "root.tex"
1.20 + "user-requirements.tex"