Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper sections;
authorwenzelm
Wed, 19 Apr 2017 16:22:20 +0200
changeset 65510 da387a5d4b09
parent 65509 ffedb16f382f
child 65511 ea42dfd95ec8
proper sections;
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle