# HG changeset patch
# User wenzelm
# Date 1343399612 -7200
# Node ID 011cbb395d46641649f95c3d057de2038e431002
# Parent  a4893c509aa289c67f9b3684ca80f03613d62919
no_check for @{setting} antiquotations -- empty values are treated as undefined on Cygwin;

diff -r a4893c509aa2 -r 011cbb395d46 doc-src/antiquote_setup.ML
--- a/doc-src/antiquote_setup.ML	Fri Jul 27 16:27:26 2012 +0200
+++ b/doc-src/antiquote_setup.ML	Fri Jul 27 16:33:32 2012 +0200
@@ -204,7 +204,7 @@
     "" "antiquotation" #>
   entity_antiqs (thy_check Thy_Output.intern_option Thy_Output.defined_option)
     "" "antiquotation option" #>
-  entity_antiqs (fn _ => fn name => is_some (OS.Process.getEnv name)) "isatt" "setting" #>
+  entity_antiqs no_check "isatt" "setting" #>
   entity_antiqs no_check "" "inference" #>
   entity_antiqs no_check "isatt" "executable" #>
   entity_antiqs (K check_tool) "isatt" "tool" #>