diff --git a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy index 065fa63..044e7c2 100755 --- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy @@ -231,7 +231,7 @@ Usage: isabelle mkroot_DOF [OPTIONS] [DIR] \ section*[scholar_onto::example]\Writing Academic Publications in \<^boxed_theory_text>\scholarly_paper\\ -subsection\Papers in freeform-style\ +subsection\Writing Academic Papers\ text\ The ontology \<^boxed_theory_text>\scholarly_paper\ \<^index>\ontology!scholarly\_paper\ is an ontology modeling @@ -440,15 +440,12 @@ text\ \<^isadof> text-elements such as \<^theory_text>\text*\ allow to have such standard term-antiquotations inside their text, permitting to give the whole text entity a formal, referentiable status with typed meta- information attached to it that may be used for presentation issues, search, or other technical -purposes. +purposes. The corresponding output of this snippet in the integrated source is shown in \<^figure>\fig02\. \ figure*[fig02::figure,spawn_columns=False,relative_width="95",src="''figures/definition-use-CSP-pdf.png''"] \ ... and the corresponding pdf-oputput.\ - -text\The corresponding output of this snippet in the integrated source is shown in\<^figure>\fig02\. \ - subsection*[scholar_pide::example]\More Freeform Elements, and Resulting Navigation\ text\ In the following, we present some other text-elements provided by the Common Ontology Library in @{theory "Isabelle_DOF.Isa_COL"}. It provides a document class for figures: