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

Makarius makarius at sketis.net
Fri Dec 22 21:25:41 CET 2017

*** 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

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


More information about the isabelle-dev mailing list