Re: [isabelle] Isabelle2019-RC1 release file names

On 09/05/2019 22:10, Lars Hupel wrote:
> The big advantage is that isabellectl is decidedly not part of the
> Isabelle, which means it can bootstrap various Isabelle distributions
> (up to 2018, after which you changed the packaging format) assuming any
> JRE installation.

This is all a bit alien to Isabelle system integration, and probably the
reason why I don't understand it.


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