Topics:
- Meeting on User Interfaces (35 messages, latest: Oct 17 2022 at 22:08)
- 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: Dec 09 2022 at 08:02 UTC