On 15/04/2020 14:58, Gergely Buday wrote: > how can I build Isabelle from the sources?
See https://isabelle.sketis.net/repos/isabelle/file/tip/README_REPOSITORY > Other than that, is there a good description of the Isabelle development > process? How I can create a branch and submit it for inspection? Branches and pull/merge requests happen to be popular in the mainstream, but we don't do that: it leads to bad quality of the result. The standard model for Isabelle is based on responsibilities (proven expertise) on certain areas of the system. You need to figure out who understands which parts and discuss proposed changes with that person. The Mercurial history often provides some clues about that, but you can also just ask on the mailing list. Makarius _______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
