Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Sat, 15 Oct 2005 00:14:30 +0200
changeset 17869 585c1f08499e
parent 17868 5a12b1b5990f
child 17870 c35381811d5c
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Sat Oct 15 00:09:20 2005 +0200
+++ b/NEWS	Sat Oct 15 00:14:30 2005 +0200
@@ -11,8 +11,8 @@
 
 *** Document preparation ***
 
-* Added antiquotations @{ML_type text} and @{ML_struct} which check
-the given source text as ML type/structure, printing verbatim.
+* Added antiquotations @{ML_type text} and @{ML_struct text} which
+check the given source text as ML type/structure, printing verbatim.
 
 
 *** Pure ***
isabelle