--- a/src/Doc/antiquote_setup.ML Sat Mar 23 20:27:56 2019 +0100
+++ b/src/Doc/antiquote_setup.ML Sun Mar 24 13:48:46 2019 +0100
@@ -196,6 +196,7 @@
entity_antiqs no_check "" \<^binding>\<open>case\<close> #>
entity_antiqs Document_Antiquotation.check "" \<^binding>\<open>antiquotation\<close> #>
entity_antiqs Document_Antiquotation.check_option "" \<^binding>\<open>antiquotation_option\<close> #>
+ entity_antiqs Document_Marker.check "" \<^binding>\<open>document_marker\<close> #>
entity_antiqs no_check "isasystem" \<^binding>\<open>setting\<close> #>
entity_antiqs check_system_option "isasystem" \<^binding>\<open>system_option\<close> #>
entity_antiqs no_check "" \<^binding>\<open>inference\<close> #>