# HG changeset patch
# User wenzelm
# Date 1412618149 -7200
# Node ID 13dfea1621b25bf250d41378089112818c062e5c
# Parent  bca419a7f9eb1516f59c460aa9a2fd9c7cd5d18a
improved spelling of formal INCOMPATIBILITY in historic versions (!) -- to avoid ad-hoc word completion multiply such lapses;

diff -r bca419a7f9eb -r 13dfea1621b2 NEWS
--- a/NEWS	Mon Oct 06 19:40:22 2014 +0200
+++ b/NEWS	Mon Oct 06 19:55:49 2014 +0200
@@ -720,7 +720,7 @@
 
 For min_ac or max_ac, prefer more general collection ac_simps.
 
-INCOMPATBILITY.
+INCOMPATIBILITY.
 
 * Theorem disambiguation Inf_le_Sup (on finite sets) ~>
 Inf_fin_le_Sup_fin.  INCOMPATIBILITY.
@@ -3975,7 +3975,7 @@
 * Special treatment of ML file names has been discontinued.
 Historically, optional extensions .ML or .sml were added on demand --
 at the cost of clarity of file dependencies.  Recall that Isabelle/ML
-files exclusively use the .ML extension.  Minor INCOMPATIBILTY.
+files exclusively use the .ML extension.  Minor INCOMPATIBILITY.
 
 * Various options that affect pretty printing etc. are now properly
 handled within the context via configuration options, instead of
@@ -4931,7 +4931,7 @@
 
 * Library theory "RBT" renamed to "RBT_Impl"; new library theory "RBT"
 provides abstract red-black tree type which is backed by "RBT_Impl" as
-implementation.  INCOMPATIBILTY.
+implementation.  INCOMPATIBILITY.
 
 * Theory Library/Coinductive_List has been removed -- superseded by
 AFP/thys/Coinductive.