# HG changeset patch
# User wenzelm
# Date 1492611740 -7200
# Node ID da387a5d4b0916867dc794552d453ab942ca140e
# Parent  ffedb16f382f099f6a66efe50c940df47573a03c
proper sections;

diff -r ffedb16f382f -r da387a5d4b09 NEWS
--- a/NEWS	Wed Apr 19 15:53:58 2017 +0200
+++ b/NEWS	Wed Apr 19 16:22:20 2017 +0200
@@ -191,9 +191,6 @@
 is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
 ISABELLE_PLATFORM64.
 
-
-*** System ***
-
 * System option "record_proofs" allows to change the global
 Proofterm.proofs variable for a session. Regular values are are 0, 1, 2;
 a negative value means the current state in the ML heap image remains