--- a/src/Doc/antiquote_setup.ML Sat Nov 28 20:18:29 2020 +0100
+++ b/src/Doc/antiquote_setup.ML Sat Nov 28 21:56:24 2020 +0100
@@ -201,7 +201,7 @@
entity_antiqs check_system_option "isasystem" \<^binding>\<open>system_option\<close> #>
entity_antiqs no_check "" \<^binding>\<open>inference\<close> #>
entity_antiqs no_check "isasystem" \<^binding>\<open>executable\<close> #>
- entity_antiqs no_check "isatool" \<^binding>\<open>tool\<close> #>
+ entity_antiqs Isabelle_Tool.check "isatool" \<^binding>\<open>tool\<close> #>
entity_antiqs ML_Context.check_antiquotation "" \<^binding>\<open>ML_antiquotation\<close> #>
entity_antiqs (K JEdit.check_action) "isasystem" \<^binding>\<open>action\<close>);