wneuper/isa: src/Tools/isac/Doc/ROOT@3b43cbacca0a

     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"

    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     "Screenshot-problemdef-running-expl.png"

    27     "specification-complete.png"

    28     "specification-method.png"

    29     "specification-template.png"

    30     "root.bib"

    31     "root.tex"

author	wneuper <Walther.Neuper@jku.at>
	Sat, 30 Dec 2023 17:52:03 +0100
changeset 60786	3b43cbacca0a
parent 60785	5b6bd5ae739b
child 60787	26037efefd61
permissions	-rw-r--r--