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.
type
authorhaftmann
Thu, 15 May 2014 18:18:50 +0200
changeset 56964 5bee93b2020d
parent 56963 d0e04fdf4276
child 56965 222f46a4dbec
type
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed May 14 13:36:35 2014 +0200
+++ b/NEWS	Thu May 15 18:18:50 2014 +0200
@@ -493,7 +493,7 @@
   * HOLogic.dest_number also recognizes numerals in non-canonical forms
     like "numeral One", "- numeral One", "- 0" and even "- ... - _".
   * Syntax for negative numerals is mere input syntax.
-INCOMPATBILITY.
+INCOMPATIBILITY.
 
 * Elimination of fact duplicates:
     equals_zero_I ~> minus_unique
isabelle