Re: [isabelle-dev] Missing Isabelle components: Failed to download

[Tobias Nipkow]

Update: after I downloaded the 10 or so missing components via a browser and moved them to .isabelle/contrib, everything seems to be back to normal.

Tobias

On 11/10/2021 13:20, Tobias Nipkow wrote:

I just updated to 9c04a82c3128 and "isabelle components" tells me that there are many missing components, but dowloading fails for the first one:

Getting "https://isabelle.sketis.net/components/e-2.6-1.tar.gz";
Failed to download "https://isabelle.sketis.net/components/e-2.6-1.tar.gz";



Any suggestions anybody?

Tobias

Since compiling Isabelle (Scala sources) fails, probably because of some missing component, I am stuck.

smime.p7s
Description: S/MIME Cryptographic Signature

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev