[isabelle-dev] New Code Generator Target: F#
makarius at sketis.net
Fri Aug 26 00:06:07 CEST 2022
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
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
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
More information about the isabelle-dev