Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle2017-RC0: encoding in Isabelle/jEdit

view this post on Zulip Email Gateway (Aug 22 2022 at 15:53):

From: Makarius <makarius@sketis.net>
Thanks for pointing out this inconvenience.

I have now changed the arrangement to ensure that the encoding is always
present, before the higher functions of the Prover IDE are initialized:

changeset: 66456:9098c36abd1a
user: wenzelm
date: Sun Aug 20 14:03:23 2017 +0200
description:
separate base plugin for important services that should be always
available, despite startup errors of the main plugin;

So this should no longer happen in the next release candidate, or the
intermediate snapshots available from
http://isabelle.in.tum.de/devel/release_snapshot

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 15:53):

From: Makarius <makarius@sketis.net>
In order to work properly, it requires at least Isabelle/075c2aadd0b8
from today.

The next automatic update of
http://isabelle.in.tum.de/devel/release_snapshot will be in approx. 12h.

Makarius

Last updated: Apr 16 2024 at 08:18 UTC