NEWS
changeset 57650 17d7f5d96328
parent 57637 eeb2d50ec71f
child 57693 8ccc4875fe4f
--- 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)
 -------------------------------------