NEWS
changeset 54683 cf48ddc266e5
parent 54672 748778ac0ab8
child 54688 47e61b768814
     1.1 --- a/NEWS	Fri Dec 06 21:49:08 2013 +0100
     1.2 +++ b/NEWS	Fri Dec 06 22:10:45 2013 +0100
     1.3 @@ -97,6 +97,19 @@
     1.4  formal context.
     1.5  
     1.6  
     1.7 +*** System ***
     1.8 +
     1.9 +* Simplified "isabelle display" tool.  Settings variables DVI_VIEWER
    1.10 +and PDF_VIEWER now refer to the actual programs, not shell
    1.11 +command-lines.  Discontinued option -c: invocation may be asynchronous
    1.12 +via desktop environment, without any special precautions.  Potential
    1.13 +INCOMPATIBILITY with ambitious private settings.
    1.14 +
    1.15 +* Improved 'display_drafts' concerning desktop integration and
    1.16 +repeated invocation in PIDE front-end: re-use single file
    1.17 +$ISABELLE_HOME_USER/tmp/drafts.pdf and corresponding views.
    1.18 +
    1.19 +
    1.20  
    1.21  New in Isabelle2013-2 (December 2013)
    1.22  -------------------------------------