Topics:
- Github Notifications (6120 messages, latest: Sep 26 2021 at 01:59)
- coq.dev compatibility of 1.12.0 on opam (1 message, latest: Sep 07 2021 at 15:21)
- docker-mathcomp CI (4 messages, latest: Jul 29 2021 at 09:05)
- bounds in interval (6 messages, latest: Jul 21 2021 at 10:50)
- Opam install of algebra-tactics (2 messages, latest: Jun 13 2021 at 15:46)
- remove deprecated (10 messages, latest: Jun 07 2021 at 17:16)
- Fortnightly meetings (11 messages, latest: May 04 2021 at 08:49)
- deprecation of `iter_add` (7 messages, latest: Apr 19 2021 at 15:58)
- regression with `sval` notaton (and maybe others) (4 messages, latest: Mar 11 2021 at 14:26)
- Meeting 2021-01-27 is canceled (1 message, latest: Jan 26 2021 at 20:42)
- name subtokenizer in MathComp repo? (3 messages, latest: Dec 08 2020 at 14:40)
- v1.12 release (4 messages, latest: Nov 27 2020 at 14:47)
- MathComp code on gforge (6 messages, latest: Nov 09 2020 at 08:33)
- lemma names (2 messages, latest: Sep 30 2020 at 11:14)
- notation-incompatible-format warnings are everywhere in 8.12 (14 messages, latest: Sep 15 2020 at 10:13)
- using coqbot to rebase (14 messages, latest: Sep 04 2020 at 21:57)
- size induction (1 message, latest: Sep 04 2020 at 09:17)
- backporting ssreflect, ssrbool and ssrfun to Coq (4 messages, latest: Aug 25 2020 at 14:14)
- rename disjoint_trans? (1 message, latest: Aug 19 2020 at 15:02)
- Release of odd-order for 1.11? (3 messages, latest: Aug 18 2020 at 19:21)
- warnings when buidling locally (10 messages, latest: Aug 11 2020 at 20:36)
- conflicts in CHANGELOG_UNRELEASED.md requiring rebase (16 messages, latest: Aug 11 2020 at 02:03)
- Packaging mczify for 8.11 and 8.12 (1 message, latest: Jul 24 2020 at 01:01)
- Recommended way of using classic ssreflect from Coq (35 messages, latest: Jul 02 2020 at 16:59)
- dependency version constraints for dev packages (15 messages, latest: Jun 30 2020 at 21:46)
- hierarchy.ml (17 messages, latest: Jun 16 2020 at 11:22)
- Ruling out betas for released packages in OPAM (4 messages, latest: Jun 11 2020 at 16:09)
- MathComp 1.11.0 OPAM packages Coq compatibility (23 messages, latest: Jun 10 2020 at 13:33)
- 1.11.0 release (8 messages, latest: Jun 10 2020 at 13:16)
- four-color takes more time on coq-dev (1 message, latest: Jun 08 2020 at 20:25)
- 1.11 beta versioning (47 messages, latest: Jun 02 2020 at 17:44)
- Issue 436 (call for PRs) (1 message, latest: May 21 2020 at 11:49)
- stream events (1 message, latest: May 08 2020 at 11:16)
- imported from gitter room math-comp/math-comp (227 messages, latest: Apr 28 2020 at 18:26)
Last updated: Sep 26 2021 at 09:02 UTC