walther@60190: (*~~$ ./bin/isabelle build -v -b Lucas_Interpreter
walther@60190:  *)
walther@59827: session "Lucas_Interpreter" in "Lucas_Interpreter" = HOL +
walther@59827:   options [document = pdf, document_output = "output"]
walther@59827:   sessions
walther@59827:     "Interpret"
walther@59827:   theories
walther@59827:     "Lucas_Interpreter"
walther@59827:   document_files
walther@59827:     "bend-7-70-en.png"
walther@59827:     "fun-pack-biegelinie-2.png"
walther@59827:     "fun-pack-simplify.png"
walther@59827:     "root.bib"
walther@59827:     "root.tex"
walther@60183: 
walther@60190: (*~~$ ./bin/isabelle build -v -b Specify_Phase
walther@60190:  *)
walther@60183: session "Specify_Phase" in "Specify_Phase" = HOL +
walther@60183:   options [document = pdf, document_output = "output"]
walther@60183:   sessions
walther@60183:     "Specify"
walther@60183:   theories
walther@60183:     "Specify_Phase"
walther@60183:   document_files
Walther@60786:     "coil-kernel-uv.png"
Walther@60787:     "equat-ws-pbl.eps"
Walther@60786:     "Screenshot-problemdef-running-expl.png"
Walther@60786:     "specification-complete.png"
Walther@60786:     "specification-method.png"
Walther@60786:     "specification-template.png"
walther@60183:     "root.bib"
walther@60183:     "root.tex"
Walther@60785: