Re: [isabelle] Isabelle2019-RC1 release file names



> A fairly stable Isabelle2019-RC1 is now available from
> https://isabelle.in.tum.de/website-Isabelle2019-RC1 -- it corresponds to
> AFP/d50417d0ae64 (e.g. see
> https://isabelle.sketis.net/repos/afp-devel/rev/d50417d0ae64).

Why did all the file names of the tarballs change? This breaks automatic
download and extraction of isabellectl. I'm assuming the following files
exist:

Isabelle<identifier>_linux.tar.gz
Isabelle<identifier>_macos.tar.gz
Isabelle<identifier>_windows.tar.gz

In RC0 they were still present (like for 2016–2018).




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