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