Stream: coq-community devs & users

Topic: new features in aac-tactics

Karl Palmskog (Oct 12 2021 at 16:11):

Don't know if anyone saw this, but we got an unexpected contribution from an original co-author of aac-tactics that prompted a new release (see chat in commit if interested): https://github.com/coq-community/aac-tactics/commit/74899ac445cbdf71c64f819dbd38f212b7af1caf#comments

But we sorted it out in the end: https://github.com/coq-community/aac-tactics/issues/90

Last updated: Jun 03 2023 at 18:01 UTC