Stream: User interfaces devs & users

Topics:

• CoqIDE blank screen on MacOS (1 message, latest: Nov 10 2021 at 13:09)
• Pictures in Proof General/emacs (4 messages, latest: Oct 24 2021 at 21:35)
• Spacemacs's coq layer not installing company-coq? (3 messages, latest: Oct 18 2021 at 13:53)
• Zooming in shortcut Coqide (6 messages, latest: Jul 14 2021 at 23:20)
• CoqIDE on Mac M1? (9 messages, latest: Jan 30 2021 at 10:47)
• 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)
• stream events (2 messages, latest: May 08 2020 at 11:16)
• imported from gitter room coq/user-interfaces (9 messages, latest: Apr 16 2020 at 18:38)

Last updated: Jan 24 2022 at 16:03 UTC