[isabelle-dev] New Code Generator Target: F#

Makarius 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 
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 

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.)


More information about the isabelle-dev mailing list