diff -r 195242d16c03 -r de00179d2147 ANNOUNCE
--- a/ANNOUNCE	Fri Oct 28 20:01:38 2016 +0200
+++ b/ANNOUNCE	Fri Oct 28 20:41:18 2016 +0200
@@ -7,7 +7,7 @@
 file for further details. Some notable changes:
 
 * Improved Isabelle/jEdit Prover IDE: more support for formal text structure,
-more visual feedback.
+  more visual feedback.
 
 * The Isabelle/ML IDE can load Isabelle/Pure into itself.
 
@@ -18,10 +18,10 @@
 * HOL tools: new Argo SMT solver, experimental Nunchaku model finder.
 
 * HOL library: improved HOL-Number_Theory and HOL-Library, especially theory
-Multiset.
+  Multiset.
 
 * Reorganization of HOL-Probability versus and HOL-Analysis, with many new
-theorems ported from HOL-Light.
+  theorems ported from HOL-Light.
 
 * Improved management of Poly/ML 5.6 processes and cumulative heap files.