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
walther@60190
     1
(*~~$ ./bin/isabelle build -v -b Lucas_Interpreter
walther@60190
     2
 *)
walther@59827
     3
session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
walther@59827
     4
  options [document = pdf, document_output = "output"]
walther@59827
     5
  sessions
walther@59827
     6
    "Interpret"
walther@59827
     7
  theories
walther@59827
     8
    "Lucas_Interpreter"
walther@59827
     9
  document_files
walther@59827
    10
    "bend-7-70-en.png"
walther@59827
    11
    "fun-pack-biegelinie-2.png"
walther@59827
    12
    "fun-pack-simplify.png"
walther@59827
    13
    "root.bib"
walther@59827
    14
    "root.tex"
walther@60183
    15
walther@60190
    16
(*~~$ ./bin/isabelle build -v -b Specify_Phase
walther@60190
    17
 *)
walther@60183
    18
session "Specify_Phase" in "Specify_Phase" = HOL +
walther@60183
    19
  options [document = pdf, document_output = "output"]
walther@60183
    20
  sessions
walther@60183
    21
    "Specify"
walther@60183
    22
  theories
walther@60183
    23
    "Specify_Phase"
walther@60183
    24
  document_files
walther@60183
    25
    "root.bib"
walther@60183
    26
    "root.tex"
walther@60190
    27
    "user-requirements.tex"