Stream: User interfaces devs & users

Topics:

• Zooming in shortcut Coqide (6 messages, latest: Jul 14 2021 at 23:20)
• Pictures in Proof General/emacs (3 messages, latest: Apr 11 2021 at 16:12)
• 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: Sep 26 2021 at 08:02 UTC