Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned some symbol that probably went there by some strange encoding issue
authorbulwahn
Mon, 12 Sep 2011 09:45:53 +0200
changeset 44895 c553044e8a3e
parent 44891 0ff207302573
child 44896 8b55b9c986a4
tuned some symbol that probably went there by some strange encoding issue
NEWS file | annotate | diff | comparison | revisions 
--- 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:
isabelle