Stream: Coq Platform devs & users

Topic: AAC Tactics update for next Platform


view this post on Zulip Karl Palmskog (Mar 14 2022 at 15:19):

@Michael Soegtrop we fixed a pretty serious bug in AAC Tactics recently: https://github.com/coq-community/aac-tactics/issues/85

If I backport this fix to 8.15 during this week and do a AAC Tactics release, can this go into the next Platform release?

view this post on Zulip Michael Soegtrop (Mar 15 2022 at 08:12):

@Karl Palmskog : most likely - please reopen https://github.com/coq-community/aac-tactics/issues/108.


Last updated: Jan 30 2023 at 11:03 UTC