HomeIsabelle/Phabricator
Phame Blogs Isabelle NEWS J13
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.

Previous Post
Antiquotations for Isabelle systems programming
Next Post
System option pide_session is enabled by default
Written by makarius on Jun 11 2020, 2:57 PM.
User
Projects
None
Subscribers
None

Event Timeline