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