Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/Tools/isac/Doc/ROOT
author wneuper <Walther.Neuper@jku.at>
Mon, 01 Jan 2024 11:31:16 +0100
changeset 60789 8fa678b678e8
parent 60787 26037efefd61
permissions -rw-r--r--
Doc/Specify_Phase 4: start use antiquotations from isar-ref 
     1 (*~~$ ./bin/isabelle build -v -b Lucas_Interpreter

     2  *)

     3 session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +

     4   options [document = pdf, document_output = "output"]

     5   sessions

     6     "Interpret"

     7   theories

     8     "Lucas_Interpreter"

     9   document_files

    10     "bend-7-70-en.png"

    11     "fun-pack-biegelinie-2.png"

    12     "fun-pack-simplify.png"

    13     "root.bib"

    14     "root.tex"

    15 

    16 (*~~$ ./bin/isabelle build -v -b Specify_Phase

    17  *)

    18 session "Specify_Phase" in "Specify_Phase" = HOL +

    19   options [document = pdf, document_output = "output"]

    20   sessions

    21     "Specify"

    22   theories

    23     "Specify_Phase"

    24   document_files

    25     "coil-kernel-uv.png"

    26     "equat-ws-pbl.eps"

    27     "Screenshot-problemdef-running-expl.png"

    28     "specification-complete.png"

    29     "specification-method.png"

    30     "specification-template.png"

    31     "root.bib"

    32     "root.tex"

    33
wneuper/isa