# HG changeset patch
# User wenzelm
# Date 1477680078 -7200
# Node ID de00179d2147ea2b1c09e3caac4a66e3c3ad651d
# Parent  195242d16c03727a6278800f9babcba4da393ba3
tuned;

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.