Release for 8.13

[palmskog]

Given that there are changes planned upstream to the Ackermann library in hydra-battles (coq-community/hydra-battles#31), this could be a good time to make a timestamp/release of goedel that works with hydra-battles 0.4 and Coq 8.13 (and 8.12). After the release, we can restrict this project to 8.13+ like hydra-battles.

@Casteran what do you think? I can do the release if you think it's a good idea.

[Casteran]

Looks to be a good idea, thanks ! When I have completed a first pass of the adaptation of the doc to Alectryon, I’ll come back to the issue #31.

…

Le 10 août 2021 à 11:20, Karl Palmskog ***@***.***> a écrit : Given that there are changes planned upstream to the Ackermann library in hydra-battles (coq-community/hydra-battles#31 <coq-community/hydra-battles#31>), this could be a good time to make a timestamp/release of goedel that works with hydra-battles 0.4 and Coq 8.13 (and 8.12). After the release, we can restrict this project to 8.13+ like hydra-battles. @Casteran <https://github.com/Casteran> what do you think? I can do the release if think it's a good idea. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#8>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AJW6FCUR5B52W235THCFROTT4DVNTANCNFSM5B3XVGVA>. Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email>.

[palmskog]

This is done now, so closing. I think it should be fine to refactor stuff here now since we have a checkpoint that works for 8.13 (and very likely 8.14 as well).