src/Tools/isac/Doc/ROOT
author wenzelm
Thu, 08 Apr 2021 13:09:44 +0200
changeset 60187 751b8a13c271
parent 60183 0959e61a3f3f
child 60188 422186a35be8
permissions -rw-r--r--
proper setup for "Doc" sessions;
avoid overlap of split sessions with old "Doc" session;
wenzelm@60187
     1
(* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
walther@59827
     2
session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
walther@59827
     3
  options [document = pdf, document_output = "output"]
walther@59827
     4
  sessions
walther@59827
     5
    "Interpret"
walther@59827
     6
  theories
walther@59827
     7
    "Lucas_Interpreter"
walther@59827
     8
  document_files (in "../")
walther@59827
     9
    "isabelle.sty"
walther@59827
    10
    "isabellesym.sty"
walther@59827
    11
    "pdfsetup.sty"
walther@59827
    12
  document_files
walther@59827
    13
    "bend-7-70-en.png"
walther@59827
    14
    "fun-pack-biegelinie-2.png"
walther@59827
    15
    "fun-pack-simplify.png"
walther@59827
    16
    "root.bib"
walther@59827
    17
    "root.tex"
walther@60183
    18
wenzelm@60187
    19
(* run "./bin/isabelle build -v -b Specify_Phase" *)
walther@60183
    20
session "Specify_Phase" in "Specify_Phase" = HOL +
walther@60183
    21
  options [document = pdf, document_output = "output"]
walther@60183
    22
  sessions
walther@60183
    23
    "Specify"
walther@60183
    24
  theories
walther@60183
    25
    "Specify_Phase"
walther@60183
    26
  document_files (in "../")
walther@60183
    27
    "isabelle.sty"
walther@60183
    28
    "isabellesym.sty"
walther@60183
    29
    "pdfsetup.sty"
walther@60183
    30
  document_files
walther@60183
    31
    "root.bib"
walther@60183
    32
    "root.tex"
wenzelm@60187
    33
    "user-requirements.tex"