1.1 --- a/doc-src/antiquote_setup.ML	Fri Jul 27 16:27:26 2012 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Fri Jul 27 16:33:32 2012 +0200
     1.3 @@ -204,7 +204,7 @@
     1.4      "" "antiquotation" #>
     1.5    entity_antiqs (thy_check Thy_Output.intern_option Thy_Output.defined_option)
     1.6      "" "antiquotation option" #>
     1.7 -  entity_antiqs (fn _ => fn name => is_some (OS.Process.getEnv name)) "isatt" "setting" #>
     1.8 +  entity_antiqs no_check "isatt" "setting" #>
     1.9    entity_antiqs no_check "" "inference" #>
    1.10    entity_antiqs no_check "isatt" "executable" #>
    1.11    entity_antiqs (K check_tool) "isatt" "tool" #>