NEWS
changeset 44895 c553044e8a3e
parent 44891 0ff207302573
child 44896 8b55b9c986a4
--- 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: