Topics:
- emacs compilation issues (35 messages, latest: Aug 22 2023 at 14:02)
- Pointers about gitpod / emacs-lsp (1 message, latest: May 28 2023 at 21:06)
- [company-coq] jmp-to-definition and dune (3 messages, latest: Apr 07 2023 at 13:15)
- ProofGeneral release 4.5 (2 messages, latest: Nov 14 2022 at 14:14)
- Switch Window Orientation (4 messages, latest: Nov 04 2022 at 19:37)
- How to restore windows in proof general? (5 messages, latest: Oct 31 2022 at 02:26)
- goal window not big enough (5 messages, latest: Oct 26 2022 at 16:31)
- Extracting goal to Lemma (4 messages, latest: Oct 03 2022 at 11:48)
- ✔ update proof general when updating coq (8 messages, latest: Jun 28 2022 at 23:59)
- Quoting arguments in `_CoqProject` (13 messages, latest: Jun 15 2022 at 15:52)
- Pull Requests (1 message, latest: May 25 2022 at 05:59)
- stream events (2 messages, latest: Apr 19 2022 at 12:10)
- Better emacs indentation (22 messages, latest: Mar 30 2022 at 05:46)
- Go back from "jump-to-definition" (3 messages, latest: Mar 29 2022 at 06:33)
- remote compilation with PG (3 messages, latest: Mar 25 2022 at 01:17)
- congruence and intensional type theory (1 message, latest: Mar 07 2022 at 08:04)
- ✔ Emacs Theme config (4 messages, latest: Jan 21 2022 at 14:28)
- Execute block in Company-Coq (2 messages, latest: Jan 21 2022 at 14:25)
- Emacs configuration (55 messages, latest: Jan 21 2022 at 14:14)
- ✔ Spacemacs's coq layer not installing company-coq? (8 messages, latest: Dec 04 2021 at 21:46)
- "File mode specification" error (6 messages, latest: Nov 10 2021 at 10:26)
- Pictures in Proof General/emacs (4 messages, latest: Oct 24 2021 at 21:35)
- tactic completion scaling in company-coq (13 messages, latest: Oct 23 2021 at 18:54)
Last updated: Sep 23 2023 at 08:01 UTC