--- a/NEWS Thu Jul 24 15:54:56 2014 +0200
+++ b/NEWS Thu Jul 24 16:21:50 2014 +0200
@@ -64,7 +64,7 @@
*** Prover IDE -- Isabelle/Scala/jEdit ***
-* Improved Document panel: simplied interaction where every single
+* Improved Document panel: simplified interaction where every single
mouse click (re)opens document via desktop environment or as jEdit
buffer.
@@ -596,7 +596,7 @@
INCOMPATIBILITY.
-* Fact collections add_ac and mult_ac are considered old-fashined.
+* Fact collections add_ac and mult_ac are considered old-fashioned.
Prefer ac_simps instead, or specify rules
(add|mult).(assoc|commute|left_commute) individually.
@@ -1048,7 +1048,6 @@
of TeX Live from Cygwin.
-
New in Isabelle2013-2 (December 2013)
-------------------------------------