Update of Isabelle/jEdit to jedit-5.6pre1
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.
- Projects
- None
- Subscribers
- None