proper sections;
authorwenzelm
Wed Apr 19 16:22:20 2017 +0200 (2017-04-19)
changeset 65510da387a5d4b09
parent 65509 ffedb16f382f
child 65511 ea42dfd95ec8
proper sections;
NEWS
     1.1 --- a/NEWS	Wed Apr 19 15:53:58 2017 +0200
     1.2 +++ b/NEWS	Wed Apr 19 16:22:20 2017 +0200
     1.3 @@ -191,9 +191,6 @@
     1.4  is analogous to ISABELLE_PLATFORM, ISABELLE_PLATFORM32,
     1.5  ISABELLE_PLATFORM64.
     1.6  
     1.7 -
     1.8 -*** System ***
     1.9 -
    1.10  * System option "record_proofs" allows to change the global
    1.11  Proofterm.proofs variable for a session. Regular values are are 0, 1, 2;
    1.12  a negative value means the current state in the ML heap image remains