1.1 --- a/NEWS	Mon Sep 12 09:07:23 2011 +0200
     1.2 +++ b/NEWS	Mon Sep 12 09:45:53 2011 +0200
     1.3 @@ -196,7 +196,7 @@
     1.4  * Command 'try':
     1.5    - Renamed 'try_methods' and added "simp:", "intro:", "dest:", and
     1.6      "elim:" options. INCOMPATIBILITY.
     1.7 -  - Introduced 'tryÄ that not only runs 'try_methods' but also
     1.8 +  - Introduced 'try' that not only runs 'try_methods' but also
     1.9      'solve_direct', 'sledgehammer', 'quickcheck', and 'nitpick'.
    1.10  
    1.11  * Quickcheck: