NEWS
changeset 67263 449a989f42cd
parent 67262 46540a2ead4b
child 67266 bf41a57e159f
     1.1 --- a/NEWS	Fri Dec 22 17:49:51 2017 +0100
     1.2 +++ b/NEWS	Fri Dec 22 18:32:59 2017 +0100
     1.3 @@ -41,6 +41,9 @@
     1.4  
     1.5    isabelle build -D '~~/src/ZF'
     1.6  
     1.7 +* The command 'display_drafts' has been discontinued. INCOMPATIBILITY,
     1.8 +use action "isabelle.draft" (or "print") in Isabelle/jEdit instead.
     1.9 +
    1.10  
    1.11  *** Isabelle/jEdit Prover IDE ***
    1.12