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

Tobias Nipkow nipkow at in.tum.de
Mon Oct 11 13:20:58 CEST 2021

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"

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

Any suggestions anybody?


-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5579 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20211011/0776cbde/attachment.bin>

More information about the isabelle-dev mailing list