changeset 48578 | 21361b6189a6 |
parent 48554 | 011cbb395d46 |
child 48602 | 342ca8f3197b |
--- a/doc-src/antiquote_setup.ML Sat Jul 28 14:52:56 2012 +0200 +++ b/doc-src/antiquote_setup.ML Sat Jul 28 15:21:49 2012 +0200 @@ -205,6 +205,7 @@ entity_antiqs (thy_check Thy_Output.intern_option Thy_Output.defined_option) "" "antiquotation option" #> entity_antiqs no_check "isatt" "setting" #> + 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" #>