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"

     2.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Mon Mar 22 14:47:06 2021 +0100
     2.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Thu Apr 08 13:09:44 2021 +0200
     2.3 @@ -27,6 +27,9 @@
     2.4  % sane default for proof documents
     2.5  \parindent 0pt\parskip 0.5ex
     2.6  
     2.7 +\nocite{*}  %FIXME satisfy bibtex without actual text + citations
     2.8 +%\input{user-requirements.tex}  %FIXME does not quite work yet
     2.9 +
    2.10  % generated text of all theories
    2.11  \input{Specify_Phase.tex}  %*.tex created by isabelle build
    2.12  

     3.1 --- a/src/Tools/isac/ROOT	Mon Mar 22 14:47:06 2021 +0100
     3.2 +++ b/src/Tools/isac/ROOT	Thu Apr 08 13:09:44 2021 +0200
     3.3 @@ -56,15 +56,3 @@
     3.4      "BridgeJEdit/BridgeJEdit"
     3.5      "Knowledge/Build_Thydata"
     3.6      "Build_Isac"
     3.7 -
     3.8 -(* run "./bin/isabelle build -v -b Doc" *)
     3.9 -session Doc in Doc = Interpret +
    3.10 -  description "
    3.11 -    Formally checked documentation for Isac in analogy to ~~/Doc/.
    3.12 -  "
    3.13 -  options [document = false (*, browser_info = true*)]
    3.14 -  directories
    3.15 -    "Lucas_Interpreter"
    3.16 -  theories
    3.17 -    "Lucas_Interpreter/Lucas_Interpreter"
    3.18 -

     4.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     4.2 +++ b/src/Tools/isac/ROOTS	Thu Apr 08 13:09:44 2021 +0200
     4.3 @@ -0,0 +1,1 @@
     4.4 +Doc