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.
tunes;
authorwenzelm
Wed, 21 Sep 2005 11:50:52 +0200
changeset 17548 4949ab06913c
parent 17547 b0d70cf4ed18
child 17549 ee4408eac12c
tunes;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Sep 21 11:50:38 2005 +0200
+++ b/NEWS	Wed Sep 21 11:50:52 2005 +0200
@@ -188,7 +188,7 @@
 
 * Inner syntax includes (*(*nested*) comments*).
 
-* Pretty pinter now supports unbreakable blocks, specified in mixfix
+* Pretty printer now supports unbreakable blocks, specified in mixfix
 annotations as "(00...)".
 
 * Clear separation of logical types and nonterminals, where the latter
isabelle