author | wenzelm |
Wed, 19 Apr 2017 16:22:20 +0200 | |
changeset 65510 | da387a5d4b09 |
parent 65509 | ffedb16f382f |
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