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



On 21/08/17 11:12, Makarius wrote:
> 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

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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.