| Fri, 22 Dec 2017 20:15:16 +0100 | wenzelm | PIDE markup for non-theory nodes; | changeset | files |
| Fri, 22 Dec 2017 18:32:59 +0100 | wenzelm | discontinued 'display_drafts' command; | changeset | files |
| Fri, 22 Dec 2017 17:49:51 +0100 | wenzelm | action "isabelle.draft" for plain-text preview; | changeset | files |