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;
     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 (in "../")
     9     "isabelle.sty"
    10     "isabellesym.sty"
    11     "pdfsetup.sty"
    12   document_files
    13     "bend-7-70-en.png"
    14     "fun-pack-biegelinie-2.png"
    15     "fun-pack-simplify.png"
    16     "root.bib"
    17     "root.tex"
    18 
    19 (* run "./bin/isabelle build -v -b Specify_Phase" *)
    20 session "Specify_Phase" in "Specify_Phase" = HOL +
    21   options [document = pdf, document_output = "output"]
    22   sessions
    23     "Specify"
    24   theories
    25     "Specify_Phase"
    26   document_files (in "../")
    27     "isabelle.sty"
    28     "isabellesym.sty"
    29     "pdfsetup.sty"
    30   document_files
    31     "root.bib"
    32     "root.tex"
    33     "user-requirements.tex"