tuned;
authorwenzelm
Sat May 30 11:56:21 2009 +0200 (2009-05-30)
changeset 31297a176e4dfb388
parent 31296 ba296a58d813
child 31298 5e6b2b23701a
tuned;
doc-src/antiquote_setup.ML
     1.1 --- a/doc-src/antiquote_setup.ML	Sat May 30 08:17:05 2009 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Sat May 30 11:56:21 2009 +0200
     1.3 @@ -159,9 +159,9 @@
     1.4        end);
     1.5  
     1.6  fun entity_antiqs check markup kind =
     1.7 - [(entity check markup kind NONE),
     1.8 -  (entity check markup kind (SOME true)),
     1.9 -  (entity check markup kind (SOME false))];
    1.10 + ((entity check markup kind NONE);
    1.11 +  (entity check markup kind (SOME true));
    1.12 +  (entity check markup kind (SOME false)));
    1.13  
    1.14  in
    1.15