Hi all,after the Isabelle release there might now be an opportunity to revive this thread.
Meanwhile in personal conversation Tobias and me finally agreed that, concerning code generation itself, the best solution is to follow Achim’s original proposal and put the F# serializer into the distribution.
@Makarius – while the .NET component setup looks promising for me, I am no expert in that area and I think we need your final judgement on this.
Cheers,
Florian
Am 26.08.22 um 00:06 schrieb Makarius:
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_codeNote 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
OpenPGP_0xA707172232CFA4E9.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
