src/Tools/isac/Doc/ROOT
changeset 60187 751b8a13c271
parent 60183 0959e61a3f3f
child 60188 422186a35be8
     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"