NEWS;
authorwenzelm
Mon Feb 17 14:07:26 2014 +0100 (2014-02-17)
changeset 5553656ebc4d4d008
parent 55535 10194808430d
child 55537 6ec3c2c38650
NEWS;
NEWS
     1.1 --- a/NEWS	Mon Feb 17 13:31:42 2014 +0100
     1.2 +++ b/NEWS	Mon Feb 17 14:07:26 2014 +0100
     1.3 @@ -29,6 +29,9 @@
     1.4  * Auxiliary files ('ML_file' etc.) are managed by the Prover IDE.
     1.5  Open text buffers take precedence over copies within the file-system.
     1.6  
     1.7 +* Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for
     1.8 +auxiliary ML files.
     1.9 +
    1.10  * Document panel: simplied interaction where every single mouse click
    1.11  (re)opens document via desktop environment or as jEdit buffer.
    1.12