src/Tools/isac/Doc/ROOT
author Walther Neuper <walther.neuper@jku.at>
Sun, 04 Apr 2021 13:31:04 +0200
changeset 60183 0959e61a3f3f
parent 59827 168abe8dd1e3
child 60187 751b8a13c271
permissions -rw-r--r--
new session for Doc/Specify_Phase, incomplete
walther@59827
     1
session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
walther@59827
     2
  options [document = pdf, document_output = "output"]
walther@59827
     3
  sessions
walther@59827
     4
    "Interpret"
walther@59827
     5
  theories
walther@59827
     6
    "Lucas_Interpreter"
walther@59827
     7
  document_files (in "../")
walther@59827
     8
    "isabelle.sty"
walther@59827
     9
    "isabellesym.sty"
walther@59827
    10
    "pdfsetup.sty"
walther@59827
    11
  document_files
walther@59827
    12
    "bend-7-70-en.png"
walther@59827
    13
    "fun-pack-biegelinie-2.png"
walther@59827
    14
    "fun-pack-simplify.png"
walther@59827
    15
    "root.bib"
walther@59827
    16
    "root.tex"
walther@60183
    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 (in "../")
walther@60183
    25
    "isabelle.sty"
walther@60183
    26
    "isabellesym.sty"
walther@60183
    27
    "pdfsetup.sty"
walther@60183
    28
  document_files
walther@60183
    29
    "root.bib"
walther@60183
    30
    "root.tex"