Topics:
- Coqtop path and coq project file (4 messages, latest: Nov 29 2022 at 18:39)
- Term display about 100x slower than in CoqIDE (4 messages, latest: Nov 23 2022 at 12:38)
- ✔ VsCode path setting Issue (4 messages, latest: Nov 23 2022 at 07:37)
- Automated testing of VsCoq (27 messages, latest: Nov 18 2022 at 10:03)
- Enable fine-grained access tokens (3 messages, latest: Nov 18 2022 at 08:58)
- VSCoq Headline highlighting (4 messages, latest: Nov 15 2022 at 12:31)
- VsCoq homebrew error (2 messages, latest: Nov 09 2022 at 09:46)
- Coq in VS Code (30 messages, latest: Oct 28 2022 at 15:06)
- ✔ Close Manifesto issue (1 message, latest: Oct 14 2022 at 06:06)
- Close Manifesto issue (1 message, latest: Oct 13 2022 at 23:12)
- Branch protection for VsCoq (4 messages, latest: Oct 13 2022 at 15:32)
- coqtop is not running (17 messages, latest: Sep 09 2022 at 07:18)
- Cannot read properties of null (2 messages, latest: Sep 04 2022 at 14:05)
- How do you get VSCoq to work? (6 messages, latest: Sep 03 2022 at 11:37)
- `Stm.add called for a different state than the tip' (6 messages, latest: Aug 30 2022 at 09:52)
- stream events (3 messages, latest: Aug 25 2022 at 11:29)
- inputting UTF8 symbols (5 messages, latest: Aug 17 2022 at 09:03)
- Isabelle/VSvode (6 messages, latest: Aug 10 2022 at 12:30)
- ✔ `Set Printing Universes` not working in vscoq (2 messages, latest: Jul 30 2022 at 18:52)
- `Set Printing Universes` not working in vscoq (1 message, latest: Jul 30 2022 at 13:04)
- VsCoq and code formatting (16 messages, latest: Jul 15 2022 at 11:13)
- how to "check" terms in the proof state? (1 message, latest: Jul 13 2022 at 15:44)
- Color Scheme (1 message, latest: Jun 03 2022 at 19:06)
- Where does QuickChick output go? (42 messages, latest: Mar 18 2022 at 12:59)
- ✔ VsCoq won't start second bullet in (rare) cases (13 messages, latest: Mar 12 2022 at 06:58)
- Weekly call (3 messages, latest: Mar 11 2022 at 12:24)
- Integration with dune build (5 messages, latest: Feb 23 2022 at 10:29)
- ✔ VSCoq LiveShare ProofView (8 messages, latest: Feb 04 2022 at 15:11)
- Getting started with VSCoq (28 messages, latest: Feb 01 2022 at 17:39)
- How to notice that `Search` yielded no output? (4 messages, latest: Jan 18 2022 at 12:16)
- New Release: 0.3.6 (2 messages, latest: Jan 03 2022 at 10:55)
- Beta testing VsCoq 0.3.6 (17 messages, latest: Jan 03 2022 at 10:51)
- Tagging 0.3.5 (1 message, latest: Jan 02 2022 at 15:27)
- ✔ How to restart vscoq? (4 messages, latest: Dec 17 2021 at 11:05)
- VSCode and Coq master (3 messages, latest: Dec 09 2021 at 20:40)
- Prettification vs. Unicode symbols (29 messages, latest: Oct 04 2021 at 08:26)
- VScode prettify symbols (29 messages, latest: Sep 22 2021 at 19:20)
- Mac key bindings (2 messages, latest: Aug 30 2021 at 13:25)
- VsCoq in gitpod, issue coq-community/vscoq#219 (16 messages, latest: Aug 07 2021 at 13:17)
- can't find coqtop (34 messages, latest: Jul 10 2021 at 17:15)
- idtac output (3 messages, latest: Jun 28 2021 at 08:59)
- VsCoq freezing/crashing (2 messages, latest: Jun 25 2021 at 14:19)
- Change in XML protocol (7 messages, latest: Jun 19 2021 at 13:55)
- Proof View broken (24 messages, latest: Jun 18 2021 at 12:24)
- Prettify completely broken? (8 messages, latest: May 15 2021 at 09:11)
- Why does `Search` output to Notices? (2 messages, latest: Apr 28 2021 at 15:32)
- About in VSCode (10 messages, latest: Apr 26 2021 at 17:00)
- HoTT library (13 messages, latest: Apr 08 2021 at 17:40)
- Beginner: exploring features (8 messages, latest: Apr 06 2021 at 07:05)
- Show unfocused goal (2 messages, latest: Apr 02 2021 at 14:43)
- New Release: 0.3.4 (7 messages, latest: Mar 15 2021 at 13:21)
- width of goal window (4 messages, latest: Feb 24 2021 at 13:55)
- New release (5 messages, latest: Feb 24 2021 at 08:01)
- Bug ? Change of tab when compiling (10 messages, latest: Jan 29 2021 at 15:05)
- Beginner's help (11 messages, latest: Jan 14 2021 at 19:02)
- Shift-Space (latex to unicode)? (3 messages, latest: Jan 05 2021 at 14:42)
- Adding maintainers (34 messages, latest: Dec 16 2020 at 09:02)
- Coq master branch and VSCoq (6 messages, latest: Dec 07 2020 at 10:07)
- DEVS: The sentence parser (94 messages, latest: Nov 22 2020 at 16:45)
- Installation of Coq in VS code on Mac OS (10 messages, latest: Nov 20 2020 at 19:44)
- Changing Coqproject and Makefile for VSCoq (13 messages, latest: Nov 19 2020 at 20:09)
- saving some screen real estate (8 messages, latest: Nov 16 2020 at 21:56)
- impredicative set (51 messages, latest: Nov 13 2020 at 09:27)
- Develop and test server inter (2 messages, latest: Oct 29 2020 at 17:53)
- Using Coq with VScode under windows 10 (39 messages, latest: Oct 27 2020 at 19:09)
- Ignoring binary files (14 messages, latest: Oct 17 2020 at 11:02)
- Dependabot alerts (2 messages, latest: Oct 15 2020 at 12:40)
- Compilation with dune (7 messages, latest: Sep 09 2020 at 13:31)
- Vscoq vs coqide and the STM (5 messages, latest: Sep 01 2020 at 22:48)
- vscode coqproject (56 messages, latest: Aug 14 2020 at 17:11)
- Search/SearchAbout (9 messages, latest: Aug 01 2020 at 17:43)
- Cannot find VSCoq in marketplace any more (8 messages, latest: Jul 27 2020 at 10:12)
- Compilation? (19 messages, latest: Jul 24 2020 at 18:09)
- Support for older versions of Coq (13 messages, latest: Jun 05 2020 at 16:07)
- HoTT (6 messages, latest: Jun 05 2020 at 06:13)
- Turn diff off (4 messages, latest: May 27 2020 at 11:47)
- Ligatures (3 messages, latest: May 27 2020 at 00:04)
- imported from gitter room coq-community/vscoq (579 messages, latest: Apr 26 2020 at 09:42)
Last updated: Dec 09 2022 at 08:02 UTC