From 50d3dde1a05ef8a1a4f217373c7c1c00914c179f Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Wed, 3 Feb 2021 05:13:05 +0000 Subject: [PATCH] Converted \inlinesml{...}. --- examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy index 9d382cf..9564b19 100755 --- a/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy +++ b/examples/technical_report/Isabelle_DOF-Manual/03_GuidedTour.thy @@ -187,7 +187,7 @@ Usage: isabelle mkroot_DOF [OPTIONS] [DIR] \ text\ If you are happy with the defaults, \ie, using the ontology for writing academic papers - (scholarly\_paper) using a report layout based on the article class (\inlineltx|scrartcl|) of + (scholarly\_paper) using a report layout based on the article class (\<^boxed_latex>\scrartcl\) of the KOMA-Script bundle~@{cite "kohm:koma-script:2019"}, you can create your first project \<^boxed_bash>\myproject\ as follows: