[isabelle-dev] NEWS: Update to jedit-5.4.0

Makarius makarius at sketis.net
Sun Mar 19 21:07:10 CET 2017

*** Prover IDE -- Isabelle/Scala/jEdit ***

* Update to jedit-5.4.0.

This refers to Isabelle/4f3da52cec02.

There is not much to say: just a routine update with various small
changes that have been accumulated in the past 12 months.

See also https://sourceforge.net/projects/jedit/files/jedit for the
recent timeline of updates.


More information about the isabelle-dev mailing list