# HG changeset patch
# User wenzelm
# Date 1406211710 -7200
# Node ID 17d7f5d963289c3beb99ddf0d2b1121aa749f362
# Parent  a43898f76ae9c4a7ed4b6834ae3601516dd3a898
tuned spelling;

diff -r a43898f76ae9 -r 17d7f5d96328 NEWS
--- 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)
 -------------------------------------