diff -r d9a54c4c9da9 -r 3cc73d00553c src/Doc/antiquote_setup.ML
--- 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>);