src/Tools/isac/Doc/ROOT
author wenzelm
Thu, 08 Apr 2021 13:27:27 +0200
changeset 60188 422186a35be8
parent 60187 751b8a13c271
child 60189 6b021e8cb8da
permissions -rw-r--r--
avoid odd clones of Isabelle latex styles:
these diverge over time, when the originals in $ISABELLE_HOME/lib/texinputs change;
     1 (* run "./bin/isabelle build -v -b Lucas_Interpreter" *)
     2 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
     3   options [document = pdf, document_output = "output"]
     4   sessions
     5     "Interpret"
     6   theories
     7     "Lucas_Interpreter"
     8   document_files
     9     "bend-7-70-en.png"
    10     "fun-pack-biegelinie-2.png"
    11     "fun-pack-simplify.png"
    12     "root.bib"
    13     "root.tex"
    14 
    15 (* run "./bin/isabelle build -v -b Specify_Phase" *)
    16 session "Specify_Phase" in "Specify_Phase" = HOL +
    17   options [document = pdf, document_output = "output"]
    18   sessions
    19     "Specify"
    20   theories
    21     "Specify_Phase"
    22   document_files
    23     "root.bib"
    24     "root.tex"
    25     "user-requirements.tex"