wneuper/isa: src/Tools/isac/Doc/ROOT@6b021e8cb8da

     1 (*~~$ ./bin/isabelle build ???

     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 (in "../")

    10     "isabelle.sty"

    11     "isabellesym.sty"

    12     "pdfsetup.sty"

    13   document_files

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

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

    16     "fun-pack-simplify.png"

    17     "root.bib"

    18     "root.tex"

    20 (*~~$ ./bin/isabelle build -v -b -D ~~/src/Tools/isac/Doc/Specify_Phase

    21     *** Bad session root directory: "/usr/local/isabisac/src/Tools/isac/Doc/Specify_Phase"

    22   *)

    23 session "Specify_Phase" in "Specify_Phase" = HOL +

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

    25   sessions

    26     "Specify"

    27   theories

    28     "Specify_Phase"

    29   document_files (in "../")

    30     "isabelle.sty"

    31     "isabellesym.sty"

    32     "pdfsetup.sty"

    33   document_files

    34     "root.bib"

    35     "root.tex"

author	Walther Neuper <walther.neuper@jku.at>
	Tue, 13 Apr 2021 13:20:05 +0200
changeset 60189	6b021e8cb8da
parent 60188	422186a35be8
child 60190	df5045d244d1
permissions	-rw-r--r--