From d1f55e7f30f30422a839aa52880bc52ba90b0638 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 21 Jul 2019 10:21:37 +0100
Subject: [PATCH] Do not include checking instructions in PDF.

---
 examples/scholarly_paper/2018_cicm/IsaDofApplications.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy b/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
index a9d7f65..6241c62 100644
--- a/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
+++ b/examples/scholarly_paper/2018_cicm/IsaDofApplications.thy
@@ -4,9 +4,9 @@ theory IsaDofApplications
 begin
 
 open_monitor*[this::article] 
+declare[[strict_monitor_checking=false]]
 (*>*)
 
-declare[[strict_monitor_checking=false]]
 title*[tit::title]\<open>Using the Isabelle Ontology Framework\<close> 
 subtitle*[stit::subtitle]\<open>Linking the Formal with the Informal\<close>
 text*[adb:: author,