[isabelle-dev] NEWS: preview of document / draft

[Makarius]

*** General ***

* The command 'display_drafts' has been discontinued. INCOMPATIBILITY,
use action "isabelle.draft" (or "print") in Isabelle/jEdit instead.


*** Isabelle/jEdit Prover IDE ***

* Action "isabelle.preview" is able to present more file formats,
notably bibtex database files and ML files.

* Action "isabelle.draft" is similar to "isabelle.preview", but shows a
plain-text document draft.


*** Isabelle/VSCode Prover IDE ***

* HTML preview of theories and other file-formats similar to
Isabelle/jEdit.


This refers to Isabelle/bf41a57e159f. The bib preview imitates typical
LaTeX output. Similar document preview will emerge for thy files eventually.


	Makarius