Topics:
- Scheduling the next meeting on Coq user interfaces (1 message, latest: Mar 21 2023 at 15:57)
- Meeting on User Interfaces (48 messages, latest: Mar 21 2023 at 14:05)
- Next meeting on user interfaces: March 21 (2 messages, latest: Mar 21 2023 at 14:05)
- Scheduling the next Coq UI discussion (11 messages, latest: Feb 17 2023 at 18:49)
- coq-lsp 0.1.5 (1 message, latest: Feb 15 2023 at 21:33)
- Next Coq UI discussion, March 21 (1 message, latest: Feb 13 2023 at 14:52)
- Plans for hints in proofs (1 message, latest: Feb 08 2023 at 09:35)
- CoqIDE on Debian (20 messages, latest: Sep 07 2022 at 14:18)
- stream events (3 messages, latest: Aug 25 2022 at 11:29)
- CoqIDE on Mac M1? (17 messages, latest: Apr 25 2022 at 10:39)
- CoqIDE blank screen on MacOS (1 message, latest: Nov 10 2021 at 13:09)
- Pictures in Proof General/emacs (1 message, latest: Oct 24 2021 at 21:35)
- Spacemacs's coq layer not installing company-coq? (1 message, latest: Oct 18 2021 at 13:53)
- Zooming in shortcut Coqide (6 messages, latest: Jul 14 2021 at 23:20)
- Killing stuck Coq proof worker (14 messages, latest: Nov 03 2020 at 09:45)
- CoqIDE doesn't blend well with Ubuntu dark theme (2 messages, latest: Oct 12 2020 at 08:11)
- imported from gitter room coq/user-interfaces (9 messages, latest: Apr 16 2020 at 18:38)
Last updated: Mar 25 2023 at 07:28 UTC