*** 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. Makarius