# HG changeset patch
# User bulwahn
# Date 1315813553 -7200
# Node ID c553044e8a3e1a6f2bbf511f66f3ff36f8cb84ca
# Parent  0ff207302573d3a4b15c5aa482342328bbcce0b9
tuned some symbol that probably went there by some strange encoding issue

diff -r 0ff207302573 -r c553044e8a3e NEWS
--- a/NEWS	Mon Sep 12 09:07:23 2011 +0200
+++ b/NEWS	Mon Sep 12 09:45:53 2011 +0200
@@ -196,7 +196,7 @@
 * Command 'try':
   - Renamed 'try_methods' and added "simp:", "intro:", "dest:", and
     "elim:" options. INCOMPATIBILITY.
-  - Introduced 'tryÄ that not only runs 'try_methods' but also
+  - Introduced 'try' that not only runs 'try_methods' but also
     'solve_direct', 'sledgehammer', 'quickcheck', and 'nitpick'.
 
 * Quickcheck: