[isabelle-dev] NEWS: improved support for Isabelle/ML

[Makarius]

* Improved support for Isabelle/ML, with jEdit mode "isabelle-ml" for 
auxiliary ML files.

This refers to Isabelle/56ebc4d4d008.  It continues recent improvements of 
auxiliary file support.

The IDE support for Isabelle/ML is already quite substantial, but with 
every step forward, I get 5 new ideas what else could be done.  I am 
curious to hear what early-adopters and testers of the Isabelle repository 
say.

People who are still using vi or emacs to edit Isabelle/ML should take the 
opportunity to some mental spring cleaning.


 	Makarius