1.1 --- a/NEWS	Thu Jun 12 17:10:12 2014 +0200
     1.2 +++ b/NEWS	Thu Jun 12 17:50:49 2014 +0200
     1.3 @@ -387,7 +387,7 @@
     1.4      SMT-LIB 2 and quantifiers.
     1.5  
     1.6  * Sledgehammer:
     1.7 -  - "z3" can now produce Isar proofs
     1.8 +  - Z3 can now produce Isar proofs.
     1.9    - MaSh overhaul:
    1.10        - New SML-based learning engines eliminate the dependency on Python
    1.11          and increase performance and reliability.