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.


	Makarius




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