# HG changeset patch
# User wenzelm
# Date 1127296252 -7200
# Node ID 4949ab06913c92c5f5c20fdb94dfddde15f735bf
# Parent  b0d70cf4ed18bcf60f64566f7eb783704c065d45
tunes;

diff -r b0d70cf4ed18 -r 4949ab06913c NEWS
--- 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