*** Isabelle/jEdit Prover IDE *** * Update to jedit-5.6pre1, the latest pre-release. This version works properly on macOS by default, without the special MacOSX plugin.
This refers to Isabelle/aec0f7b58cc6.
The jEdit guys are about to release 5.6 after a rather long time. We now have
an opportunity to test it, and provide feedback on time.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
