ANNOUNCE
changeset 64428 de00179d2147
parent 64423 012b64bcd399
child 64552 7aa3c52f27aa
     1.1 --- a/ANNOUNCE	Fri Oct 28 20:01:38 2016 +0200
     1.2 +++ b/ANNOUNCE	Fri Oct 28 20:41:18 2016 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  file for further details. Some notable changes:
     1.5  
     1.6  * Improved Isabelle/jEdit Prover IDE: more support for formal text structure,
     1.7 -more visual feedback.
     1.8 +  more visual feedback.
     1.9  
    1.10  * The Isabelle/ML IDE can load Isabelle/Pure into itself.
    1.11  
    1.12 @@ -18,10 +18,10 @@
    1.13  * HOL tools: new Argo SMT solver, experimental Nunchaku model finder.
    1.14  
    1.15  * HOL library: improved HOL-Number_Theory and HOL-Library, especially theory
    1.16 -Multiset.
    1.17 +  Multiset.
    1.18  
    1.19  * Reorganization of HOL-Probability versus and HOL-Analysis, with many new
    1.20 -theorems ported from HOL-Light.
    1.21 +  theorems ported from HOL-Light.
    1.22  
    1.23  * Improved management of Poly/ML 5.6 processes and cumulative heap files.
    1.24