On 25/08/2022 12:55, Achim D. Brucker wrote:
Still, as Isabelle is an Open Source project, I would have hoped that "pull
requests"
(to use the github terminology) are, in principle, welcomed.
No, we neither have git nor pull-requests. Instead, README_REPOSITORY and the
actual hg history should tell a lot how things work.
Beyond that, it is better to discuss things with people who are responsible
for the relevant part of the Isabelle platform, before doing too much on your
own account.
Incidently, the Phabricator guys (1-3 people max.) had long texts in a similar
direction (before they had to give up eventually, not being a huge software
corporation):
https://isabelle-dev.sketis.net/book/phabcontrib/article/contributing_code
Note again that I am in release mode, so anything that is not relevant for
this release has to wait until that is published. (I am not going to
fork/branch/merge myself.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
