Zulip Chat Archive
Stream: Emacs
Topics:
- Semantic Tokens (22 messages, latest: Nov 30 2025 at 22:58)
- Acme editor (1 message, latest: Oct 07 2025 at 02:49)
- Conveniently tweaking input method (1 message, latest: Oct 03 2025 at 16:00)
- indentation (12 messages, latest: Sep 01 2025 at 17:53)
- ✔ Development: Maintainership (26 messages, latest: Sep 01 2025 at 16:45)
- emacs-gtk 29.3 missing leim input support: breaks Lean 4 inp (4 messages, latest: Jul 09 2025 at 14:57)
- lean4-minimal-mode (48 messages, latest: Jul 06 2025 at 17:46)
- Pause updating the goal buffer and leave it open? (6 messages, latest: Jun 20 2025 at 20:11)
- inlayHint (32 messages, latest: Jun 20 2025 at 18:26)
- ✔ Problem with scrolling infoview (9 messages, latest: Jun 19 2025 at 23:59)
- Breaking changes (4 messages, latest: Jun 04 2025 at 22:01)
- lean4-lake-find-dir (10 messages, latest: Jun 02 2025 at 08:17)
- lean4-dev (4 messages, latest: Jun 01 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)
- 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)
- ✔ 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: Dec 20 2025 at 21:32 UTC