Enrico Tassi (May 07 2020 at 11:56): Enrico Tassi (May 07 2020 at 11:56):I made a milestone with a date that would fit Coq 8.12 release. Of course it would be nice to have parameters, but we will see. I did put some issues in the release, hopefully they should be fixable as soon as I release coq-elpi 1.4.x
Cyril Cohen (Jun 16 2020 at 11:07):Maybe we could tag a 1.0+alpha1 since it might be veeeery buggy for now...
Enrico Tassi (Jun 16 2020 at 11:46):Coq beta includes 0.9.1. We can still update the ref they track for the final (1 month time max), or stay with 0.9.1
Cyril Cohen (Dec 16 2020 at 20:38):FTR, @Enrico Tassi released 1.0.0 a few hours ago
Last updated: May 28 2023 at 18:29 UTC