Isabelle_DOF/examples/math_exam/MathExam/ROOT

session "MathExam" = "Functional-Automata" +
  options [document = pdf, document_output = "output"]
  theories [document = false]
    (* Foo *)
    "../../../ontologies/mathex_onto"
  theories
    MathExam
  document_files
    "preamble.tex"
    "root.tex"
    "ontologies.tex"
    "preamble.tex"
    "figures/Polynomialdeg5.png"
Based all examples on session 'Functional-Automata'. 2018-11-06 09:31:01 +00:00			`session "MathExam" = "Functional-Automata" +`
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`options [document = pdf, document_output = "output"]`
			`theories [document = false]`
iUpdated nach diskussion mit Achim 2018-06-08 10:13:45 +00:00			`(* Foo *)`
Configuration a la chasse du LaTeX generation bug (having its origine in the Isar transaction engine). 2018-06-19 15:37:31 +00:00			`"../../../ontologies/mathex_onto"`
Repaired MathExam (well, commented out offending figure* declaration leading to bugs in Backend.) 2018-06-26 16:50:56 +00:00			`theories`
iUpdated nach diskussion mit Achim 2018-06-08 10:13:45 +00:00			`MathExam`
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`document_files`
iUpdated nach diskussion mit Achim 2018-06-08 10:13:45 +00:00			`"preamble.tex"`
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`"root.tex"`
Port to Isabelle/DOF 0.0.3. 2018-06-08 13:41:16 +00:00			`"ontologies.tex"`
			`"preamble.tex"`
Kleinigkeiten. 2018-06-29 07:03:44 +00:00			`"figures/Polynomialdeg5.png"`