Stream: Hierarchy Builder devs & users

Topic: 1.0 release


view this post on Zulip 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

view this post on Zulip Cyril Cohen (Jun 16 2020 at 11:07):

Maybe we could tag a 1.0+alpha1 since it might be veeeery buggy for now...

view this post on Zulip 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

view this post on Zulip Cyril Cohen (Dec 16 2020 at 20:38):

FTR, @Enrico Tassi released 1.0.0 a few hours ago


Last updated: Jan 29 2023 at 16:02 UTC