| changeset 48602 | 342ca8f3197b |
| parent 48578 | 21361b6189a6 |
| child 48875 | b629f037a0cb |
--- a/doc-src/antiquote_setup.ML Mon Jul 30 13:48:56 2012 +0200 +++ b/doc-src/antiquote_setup.ML Mon Jul 30 14:11:29 2012 +0200 @@ -208,7 +208,7 @@ entity_antiqs no_check "isatt" "system option" #> entity_antiqs no_check "" "inference" #> entity_antiqs no_check "isatt" "executable" #> - entity_antiqs (K check_tool) "isatt" "tool" #> + entity_antiqs (K check_tool) "isatool" "tool" #> entity_antiqs (thy_check ML_Context.intern_antiq ML_Context.defined_antiq) "" Isabelle_Markup.ML_antiquotationN;