Isabelle_DOF/examples/math_exam/BAC2017/ROOT

session "BAC2017" = "Functional-Automata" +
  options [document = pdf, document_output = "output",quick_and_dirty=true]
  theories [document = false]
    "../../../ontologies/mathex_onto"
    "Deriv" 
    "Transcendental"
  theories
     BAC2017
  document_files
    "root.inf"
    "preamble.tex"
    "ontologies.tex"
    "build"
Fixed ROOT (removed dependency on non-existing ontology.tex. 2018-11-06 09:30:18 +00:00			`session "BAC2017" = "Functional-Automata" +`
ncomplete checkin. Modifs on ROOT. 2018-06-08 09:46:44 +00:00			`options [document = pdf, document_output = "output",quick_and_dirty=true]`
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`theories [document = false]`
ncomplete checkin. Modifs on ROOT. 2018-06-08 09:46:44 +00:00			`"../../../ontologies/mathex_onto"`
Kleinigkeiten. 2018-06-29 07:03:44 +00:00			`"Deriv"`
			`"Transcendental"`
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`theories`
ncomplete checkin. Modifs on ROOT. 2018-06-08 09:46:44 +00:00			`BAC2017`
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds.. 2018-06-08 07:29:57 +00:00			`document_files`
Reworked root.tex setup. The root.tex is now copied from the user installation directory on each build to avoid problems with an outdated document setup. 2019-01-06 17:01:13 +00:00			`"root.inf"`
Kleinigkeiten. 2018-06-29 07:03:44 +00:00			`"preamble.tex"`
Added missing ontologies.tex. 2019-01-06 17:16:15 +00:00			`"ontologies.tex"`
Revert "Removed obsolete build scripts." This reverts commit 30a17db2bf46b7f9199439cf8a8a5f0c3bfe5e30. 2019-01-06 13:34:58 +00:00			`"build"`