Zulip Chat Archive
Stream: Emacs
Topics:
- inlayHint (31 messages, latest: Apr 24 2025 at 19:29)
- Dev: Inlay Hint Refresh Request (7 messages, latest: Apr 24 2025 at 19:26)
- ✔ Dev: Inlay Hint Refresh Requests (2 messages, latest: Apr 24 2025 at 19:26)
- ✔ Development: Maintainership (25 messages, latest: Apr 23 2025 at 23:02)
- Work arounds for using the Mathcal letter? (17 messages, latest: Apr 23 2025 at 22:42)
- ✔
lean4-autodetect-lean3and cleanup (17 messages, latest: Apr 23 2025 at 22:34) - ✔ Survey: Anyone customizing Lean4 input-method? (12 messages, latest: Apr 23 2025 at 22:10)
- ✔ thanks + a few thoughts (12 messages, latest: Apr 23 2025 at 22:10)
- ✔ Dev: Internal Cleanup (Milestone 2) (8 messages, latest: Apr 23 2025 at 22:10)
- ✔ Development: Roadmap (7 messages, latest: Apr 23 2025 at 22:09)
- ✔ Dev: Repair Status Quo (Milestone 1) (6 messages, latest: Apr 23 2025 at 22:09)
- ✔ Support: Use Emacs for Lean? (17 messages, latest: Apr 23 2025 at 22:09)
- ✔ channel events (2 messages, latest: Apr 23 2025 at 22:08)
- ✔ Doom Lean 4 mode (4 messages, latest: Apr 23 2025 at 22:08)
- reftex interference (2 messages, latest: Dec 28 2024 at 16:00)
- org-mode (11 messages, latest: Dec 28 2024 at 14:17)
- Pause updating the goal buffer and leave it open? (3 messages, latest: Dec 17 2024 at 20:09)
- ✔ What should my .emacs contain? (3 messages, latest: Dec 14 2024 at 10:34)
- Types not fitting into echo area (10 messages, latest: Dec 14 2024 at 04:38)
- ✔ lsp-mode errors due to list != hash-table (43 messages, latest: Dec 10 2024 at 20:03)
- ✔ Lean input method after keymap (14 messages, latest: Dec 05 2024 at 19:18)
- ✔ The connected server(s) does not support method $/lean/… (15 messages, latest: Nov 26 2024 at 12:55)
Last updated: May 02 2025 at 03:31 UTC