Do not include checking instructions in PDF.

2019-07-21 10:21:37 +01:00 · 2019-07-21 10:21:37 +01:00 · d1f55e7f30
parent 5e59cf737b
commit d1f55e7f30
1 changed files with 1 additions and 1 deletions
--- 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,