diff --git a/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy b/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy index d9f36d8..6711220 100644 --- a/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy +++ b/examples/technical_report/TR_my_commented_isabelle/MyCommentedIsabelle.thy @@ -1088,7 +1088,7 @@ The primary format of the text files is \<^verbatim>\.thy\ (for his secondary formats can be \<^verbatim>\.sty\,\<^verbatim>\.tex\, \<^verbatim>\.png\, \<^verbatim>\.pdf\, or other files processed by Isabelle and listed in a configurations processed by the build system. \ -figure*[fig3::figure, relative_width="100",src="''figures/document-model.pdf''"] +figure*[fig3::figure, relative_width="100",src="''figures/document-model''"] \Document Model\ text\A \<^verbatim>\.thy\ file consists of a \<^emph>\preamble\, a \<^emph>\context-import-statement\ and a \<^emph>\body\ consisting of a sequence of \<^emph>\commands\. Even the preamble consists of