Hi, I tried
$ hg clone https://isabelle-dev.sketis.net/source/isabelle/ and got abort: isabelle-dev.sketis.net certificate error: certificate is for server.sketis.net (configure hostfingerprint 39:90:7c:bb:95:e6:45:c8:65:c6:55:03:89:5f:7d:fa:c3:79:9f:d4 or use --insecure to connect insecurely) Other than that, is there a good description of the Isabelle development process? How I can create a branch and submit it for inspection? Also, how can I build Isabelle from the sources? - Gergely
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
