<div dir="ltr"><div>Hi,</div><div><br></div><div>I tried</div><div><br></div><div>$ hg clone <a href="https://isabelle-dev.sketis.net/source/isabelle/">https://isabelle-dev.sketis.net/source/isabelle/</a></div><div><br></div><div>and got</div><div><br></div><div>abort: <a href="http://isabelle-dev.sketis.net">isabelle-dev.sketis.net</a> certificate error: certificate is for <a href="http://server.sketis.net">server.sketis.net</a><br>(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)</div><div><br></div><div>Other than that, is there a good description of the Isabelle development process? How I can create a branch and submit it for inspection?</div><div><br></div><div>Also, how can I build Isabelle from the sources?</div><div><br></div><div>- Gergely<br></div></div>