*** 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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev