[isabelle-dev] developer workflow

Gergely Buday gbuday at gmail.com
Wed Apr 15 14:58:45 CEST 2020


I tried

$ hg clone https://isabelle-dev.sketis.net/source/isabelle/

and got

abort: isabelle-dev.sketis.net certificate error: certificate is for
(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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20200415/4524b23f/attachment.html>

More information about the isabelle-dev mailing list