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? Tobias
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
