Repaired MathExam

(well, commented out offending figure* declaration leading
to bugs in Backend.)

examples/math_exam/MathExam/MathExam.thy

@@ -22,8 +22,17 @@ subsection*[header::Header,examSubject= "[algebra]",  examTitle="''Exam number 1
 
 (* should be in DOF-core *)
 
+(* causes crash on the LaTeX side:
+ ( FP-DIV )
+*** ! Undefined control sequence.
+*** <argument> ...ative_width}}{100} \includegraphics
+***                                                   [width=\scale \textwidth ]...
+*** l.44 {A Polynome.}
+
 figure*[figure::figure, spawn_columns=False,relative_width="''80''", 
-        src="''figures/Polynomialdeg5.png''"] \<open> A Polynome. \<close>
+        src="''figures/Polynomialdeg5.png''"] 
+        \<open>A Polynome.\<close>
+*)
 
 subsubsection*[exo1 :: Exercise, Exercise.content="[q1::Task,q2::Task]"]\<open>Exercise 1\<close>
 text{* 

examples/math_exam/MathExam/ROOT

@@ -2,8 +2,8 @@ session "MathExam" = "HOL" +
   options [document = pdf, document_output = "output"]
   theories [document = false]
     (* Foo *)
-  theories
     "../../../ontologies/mathex_onto"
+  theories
     MathExam
   document_files
     "preamble.tex"