changeset 66019 | 69b5ef78fb07 |
parent 65956 | 639eb3617a86 |
child 66135 | 1451a32479ba |
--- a/NEWS Mon Jun 05 23:13:08 2017 +0200 +++ b/NEWS Mon Jun 05 23:55:58 2017 +0200 @@ -52,6 +52,9 @@ *** Prover IDE -- Isabelle/Scala/jEdit *** +* Action "isabelle.preview" opens an HTML preview of the current theory +document in the default web browser. + * Command-line invocation "isabelle jedit -R -l SESSION" uses the parent image of the SESSION, with qualified theory imports restricted to that portion of the session graph. Moreover, the ROOT entry of the SESSION is