| changeset 64867 | e7220f4de11f |
| parent 64846 | de4e3df6693d |
| child 64876 | 65a247444100 |
--- a/NEWS Tue Jan 10 16:09:04 2017 +0100 +++ b/NEWS Tue Jan 10 16:53:05 2017 +0100 @@ -20,6 +20,10 @@ The system option "jedit_auto_load" has been discontinued: it is effectively always enabled. +* The Theories dockable provides a "Purge" button, in order to restrict +the document model to theories that are required for open editor +buffers. + *** HOL ***