NEWS
changeset 57650 17d7f5d96328
parent 57637 eeb2d50ec71f
child 57693 8ccc4875fe4f
     1.1 --- a/NEWS	Thu Jul 24 15:54:56 2014 +0200
     1.2 +++ b/NEWS	Thu Jul 24 16:21:50 2014 +0200
     1.3 @@ -64,7 +64,7 @@
     1.4  
     1.5  *** Prover IDE -- Isabelle/Scala/jEdit ***
     1.6  
     1.7 -* Improved Document panel: simplied interaction where every single
     1.8 +* Improved Document panel: simplified interaction where every single
     1.9  mouse click (re)opens document via desktop environment or as jEdit
    1.10  buffer.
    1.11  
    1.12 @@ -596,7 +596,7 @@
    1.13  
    1.14  INCOMPATIBILITY.
    1.15  
    1.16 -* Fact collections add_ac and mult_ac are considered old-fashined.
    1.17 +* Fact collections add_ac and mult_ac are considered old-fashioned.
    1.18  Prefer ac_simps instead, or specify rules
    1.19  (add|mult).(assoc|commute|left_commute) individually.
    1.20  
    1.21 @@ -1048,7 +1048,6 @@
    1.22  of TeX Live from Cygwin.
    1.23  
    1.24  
    1.25 -
    1.26  New in Isabelle2013-2 (December 2013)
    1.27  -------------------------------------
    1.28