Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/antiquote_setup.ML
changeset 31297 a176e4dfb388
parent 30396 841ce0fcbe14
child 31546 d58d6acab331 
--- a/doc-src/antiquote_setup.ML	Sat May 30 08:17:05 2009 +0200
+++ b/doc-src/antiquote_setup.ML	Sat May 30 11:56:21 2009 +0200
@@ -159,9 +159,9 @@
       end);
 
 fun entity_antiqs check markup kind =
- [(entity check markup kind NONE),
-  (entity check markup kind (SOME true)),
-  (entity check markup kind (SOME false))];
+ ((entity check markup kind NONE);
+  (entity check markup kind (SOME true));
+  (entity check markup kind (SOME false)));
 
 in
isabelle