Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Using system jEdit with bundle


view this post on Zulip Email Gateway (Aug 18 2022 at 20:02):

From: "Aaron W. Hsu" <arcfide@sacrideo.us>
Is it possible to use the system installed version of jEdit with the
Isabelle bundle? Right now it is using the bundled version, which is
fine with me, but it would be neat if I could use the newer system
installed version.

view this post on Zulip Email Gateway (Aug 18 2022 at 20:02):

From: Makarius <makarius@sketis.net>
Sorry, this does not work. All these components are fit together tightly,
and cannot be exchanged easily with other versions found in the wild.

Especially for Isabelle/jEdit I've made some fine tuning, with some
properties and a few lines of patches for the main code base, apart from
adding certain plugin and non-plugin jars in the right spot. Moreover,
the user settings directory is specific for each Isabelle version, to keep
things disjoint and thus working independently of other jEdits and
Isabelle versions.

If you want a newer jEdit right now, you should try Isabelle2012-RC1. It
is based on the latest stable jEdit release.

Makarius

view this post on Zulip Email Gateway (Aug 18 2022 at 20:03):

From: "Aaron W. Hsu" <arcfide@sacrideo.us>
Thank you for confirming one way or the other.


Last updated: Mar 28 2024 at 12:29 UTC