src/Tools/isac/Doc/ROOT
author Walther Neuper <walther.neuper@jku.at>
Tue, 13 Apr 2021 14:07:17 +0200
changeset 60190 df5045d244d1
parent 60189 6b021e8cb8da
child 60785 5b6bd5ae739b
permissions -rw-r--r--
repair setup for session "Doc" cf.751b8a13c271
     1 (*~~$ ./bin/isabelle build -v -b Lucas_Interpreter
     2  *)
     3 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
     4   options [document = pdf, document_output = "output"]
     5   sessions
     6     "Interpret"
     7   theories
     8     "Lucas_Interpreter"
     9   document_files
    10     "bend-7-70-en.png"
    11     "fun-pack-biegelinie-2.png"
    12     "fun-pack-simplify.png"
    13     "root.bib"
    14     "root.tex"
    15 
    16 (*~~$ ./bin/isabelle build -v -b Specify_Phase
    17  *)
    18 session "Specify_Phase" in "Specify_Phase" = HOL +
    19   options [document = pdf, document_output = "output"]
    20   sessions
    21     "Specify"
    22   theories
    23     "Specify_Phase"
    24   document_files
    25     "root.bib"
    26     "root.tex"
    27     "user-requirements.tex"