--- a/NEWS Sat Apr 14 12:36:11 2012 +0200
+++ b/NEWS Sat Apr 14 12:46:45 2012 +0200
@@ -1,8 +1,8 @@
Isabelle NEWS -- history user-relevant changes
==============================================
-New in this Isabelle version
-----------------------------
+New in Isabelle2012 (May 2012)
+------------------------------
*** General ***
@@ -95,7 +95,7 @@
lemma "P (x::'a::foo)" and "Q (y::'a::bar)" -- "now illegal"
lemma "P (x::'a)" and "Q (y::'a::bar)"
- -- "now uniform 'a::bar instead of default sort for first occurence (!)"
+ -- "now uniform 'a::bar instead of default sort for first occurrence (!)"
*** HOL ***