changeset 65510 | da387a5d4b09 |
parent 65505 | 741fad555d82 |
child 65511 | ea42dfd95ec8 |
--- 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