# HG changeset patch
# User haftmann
# Date 1259062148 -3600
# Node ID d8958955ecb51d673e52803cc98e77e363a51010
# Parent  6cc01403f78ac37e37ec71a78b86796ae5327258
consisten upper/lower case

diff -r 6cc01403f78a -r d8958955ecb5 ANNOUNCE
--- a/ANNOUNCE	Tue Nov 24 10:33:21 2009 +0100
+++ b/ANNOUNCE	Tue Nov 24 12:29:08 2009 +0100
@@ -16,7 +16,7 @@
 
 * HOL-Boogie: an interactive prover back-end for Boogie and VCC.
 
-* HOL: Counterexample generator tool Nitpick based on the Kodkod
+* HOL: counterexample generator tool Nitpick based on the Kodkod
 relational model finder.
 
 * HOL: predicate compiler turning inductive into (executable)