1.1 --- a/NEWS	Mon Sep 23 14:53:43 2013 +0200
     1.2 +++ b/NEWS	Mon Sep 23 14:53:43 2013 +0200
     1.3 @@ -395,7 +395,7 @@
     1.4    - Renamed option:
     1.5        isar_shrink ~> isar_compress
     1.6      INCOMPATIBILITY.
     1.7 -  - Added option "isar_try0"
     1.8 +  - Added options "isar_try0", "spy"
     1.9    - Better support for "isar_proofs"
    1.10    - MaSh has been fined-tuned and now runs as a local server
    1.11