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