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