Topics:
- Completion for Set / Unset (6 messages, latest: Oct 10 2024 at 12:51)
- Why does VSCoq 2.X doesn't find my .vo files? (24 messages, latest: Sep 27 2024 at 15:37)
- Cancelling long-running tactics (4 messages, latest: Sep 26 2024 at 14:04)
- Debug eauto message pruned to one line (15 messages, latest: Sep 25 2024 at 17:19)
- Debug auto message pruned to one line (3 messages, latest: Sep 25 2024 at 13:47)
- VSCoq 2.2.0 and 2.2.1 slow? (14 messages, latest: Sep 25 2024 at 12:20)
- VsCoq and local Coq (21 messages, latest: Sep 23 2024 at 15:33)
- Highliting code print and warning rather then underlying ? (10 messages, latest: Sep 22 2024 at 15:13)
- Shortcut to restart checking at the beginning of the file (18 messages, latest: Sep 20 2024 at 12:36)
- ✔ VsCoq legacy : impossible to navigate in .v file (2 messages, latest: Sep 20 2024 at 09:11)
- VsCoq legacy : impossible to navigate in .v file (2 messages, latest: Sep 20 2024 at 08:59)
- Issues printing inductive types (13 messages, latest: Sep 20 2024 at 05:59)
- ✔ The plugin does not load--how to debug (10 messages, latest: Sep 19 2024 at 22:56)
- The plugin does not load--how to debug (29 messages, latest: Sep 19 2024 at 14:02)
- VsCoq not working: ideslave error? (38 messages, latest: Sep 17 2024 at 14:42)
- Bug with MetaCoq (11 messages, latest: Sep 09 2024 at 08:18)
- Shortcut for About/Locate/... query window? (15 messages, latest: Sep 05 2024 at 13:00)
- coq.coqProjectRoot (1 message, latest: Sep 04 2024 at 13:36)
- Highlight of changes in the goal (10 messages, latest: Aug 31 2024 at 05:11)
- VsCoq walkthrough (28 messages, latest: Aug 27 2024 at 18:53)
- Syntax Highliting of inductive types (4 messages, latest: Aug 27 2024 at 18:46)
- Future of VsCoq2 (8 messages, latest: Aug 26 2024 at 12:48)
- ✔ Debug message printed reverse (1 message, latest: Aug 26 2024 at 10:09)
- ✔ Issue checking when parsing fails (2 messages, latest: Aug 26 2024 at 10:09)
- ✔ Prevent proof panel from opening automatically (2 messages, latest: Aug 26 2024 at 10:04)
- Editing the stdlib / changing coqtop path (8 messages, latest: Aug 26 2024 at 08:45)
- Prevent proof panel from opening automatically (9 messages, latest: Aug 26 2024 at 08:17)
- Issue checking when parsing fails (3 messages, latest: Aug 26 2024 at 08:12)
- Debug message printed reverse (3 messages, latest: Aug 24 2024 at 16:08)
- Proof View scrolls to top (13 messages, latest: Aug 22 2024 at 12:56)
- Hard to read text on light themes (16 messages, latest: Aug 21 2024 at 15:27)
- Why are 2.1.5 and 2.1.6 only pre-releases? (32 messages, latest: Aug 20 2024 at 15:16)
- Fix Suggestion (18 messages, latest: Aug 18 2024 at 15:56)
- ✔ Goal panel not visible after updating it to 2.1.7 (20 messages, latest: Aug 13 2024 at 21:00)
- Goal panel not visible after updating it to 2.1.7 (6 messages, latest: Aug 11 2024 at 19:59)
- Light green highlighting gone? (16 messages, latest: Aug 08 2024 at 13:45)
- Displaying messages (9 messages, latest: Jul 08 2024 at 13:19)
- vscoq-language server for 8.20 (4 messages, latest: Jul 04 2024 at 13:21)
- vscoq-language-server crashes on reflexivity. (39 messages, latest: Jul 04 2024 at 09:04)
- ✔ Error message to upgrade language server (3 messages, latest: Jul 03 2024 at 21:31)
- Error message to upgrade language server (1 message, latest: Jul 03 2024 at 20:12)
- Bug Error while opening document. File "library/lib.ml" (5 messages, latest: Jun 25 2024 at 15:00)
- VsCoq2 and obligations (3 messages, latest: Jun 09 2024 at 14:38)
- Coloring for Equations and Equations? (5 messages, latest: May 19 2024 at 17:39)
- VsCoq unsupported command Restart (3 messages, latest: May 14 2024 at 13:42)
- Problem Setting Up VsCoq (17 messages, latest: May 13 2024 at 09:50)
- Customizing Proofview focus or goal size (3 messages, latest: May 10 2024 at 08:31)
- coq language server repeated crashes (2 messages, latest: May 09 2024 at 19:54)
- cannot find physical path bound to logical path (21 messages, latest: May 06 2024 at 23:11)
- Error with autocompletion (1 message, latest: Apr 23 2024 at 08:52)
- Version numbering (4 messages, latest: Apr 19 2024 at 15:26)
- Live share (14 messages, latest: Apr 19 2024 at 01:32)
- Open Goal View (4 messages, latest: Mar 27 2024 at 06:47)
- what happened to vscoq formatting in visual studio (42 messages, latest: Mar 24 2024 at 15:14)
- Issue with importing from multiples files (10 messages, latest: Mar 24 2024 at 12:24)
- Closed files still use memory (2 messages, latest: Mar 11 2024 at 21:11)
- (pas de sujet) (2 messages, latest: Mar 02 2024 at 01:00)
- ✔ Cannot install vscoq-language-server via nix (3 messages, latest: Feb 24 2024 at 08:54)
- Hard to see failures (9 messages, latest: Feb 22 2024 at 19:11)
- How to know what coq did do and what it did not do? (24 messages, latest: Feb 21 2024 at 17:59)
- Broken Qed killing the server (15 messages, latest: Feb 16 2024 at 20:36)
- How to `Run to End` in VsCoq? (2 messages, latest: Feb 16 2024 at 12:41)
- vscoq & coq 8.19 (5 messages, latest: Feb 13 2024 at 19:12)
- vscoq legacy not detecting opam installed libraries (8 messages, latest: Feb 10 2024 at 18:35)
- How to solve issue that vscoqtop not found after installatio (28 messages, latest: Feb 09 2024 at 13:51)
- vscoq (4 messages, latest: Jan 28 2024 at 02:37)
- Trouble with workspace with multiple files (5 messages, latest: Jan 17 2024 at 03:56)
- VsCoq fails to work with local switch (4 messages, latest: Dec 22 2023 at 20:23)
- Discrepancy with Coqc: can't remove qualified hints (9 messages, latest: Dec 20 2023 at 16:49)
- Cannot add monomorphic constraints (16 messages, latest: Dec 20 2023 at 14:29)
- vsc-conceal and prettification (21 messages, latest: Nov 20 2023 at 12:55)
- ✔ VsCoq Legacy not showing unicode (12 messages, latest: Nov 20 2023 at 10:45)
- VsCoq Legacy not showing unicode (13 messages, latest: Nov 20 2023 at 06:22)
- coq identation (65 messages, latest: Nov 18 2023 at 00:35)
- completion errors (2 messages, latest: Nov 17 2023 at 15:26)
- Vscoq2.02 and scrolling (5 messages, latest: Oct 18 2023 at 09:53)
- Vscoq legacy and Coq elpi extension (1 message, latest: Oct 17 2023 at 08:07)
- Status of VsCoq2 (2 messages, latest: Oct 16 2023 at 15:53)
- ✔ Coq Language Server Crash (4 messages, latest: Oct 14 2023 at 14:52)
- Coq Language Server Crash (20 messages, latest: Oct 14 2023 at 13:25)
- Stacktrace for "normal" errors (4 messages, latest: Oct 05 2023 at 20:55)
- vscoq2 and mathcomp2 (4 messages, latest: Oct 04 2023 at 14:30)
- working queries (1 message, latest: Oct 03 2023 at 22:12)
- vscoq2 too slow on mathcomp (40 messages, latest: Oct 03 2023 at 10:35)
- ✔ vscoq2 protocol questions (4 messages, latest: Oct 03 2023 at 06:35)
- neovim client (3 messages, latest: Oct 03 2023 at 06:31)
- Multiple goals (14 messages, latest: Oct 03 2023 at 02:24)
- vscoq2 protocol questions (4 messages, latest: Oct 02 2023 at 17:02)
- VsCoq Debugging mode (8 messages, latest: Oct 02 2023 at 11:24)
- TIming rendering (6 messages, latest: Sep 28 2023 at 22:12)
- Viewing currently used Coq in VsCoq2 (7 messages, latest: Sep 28 2023 at 11:33)
- Query Window (3 messages, latest: Sep 28 2023 at 08:57)
- Current extension ambiguity / best current VSCoq option (4 messages, latest: Sep 26 2023 at 08:13)
- vscoq2 and nix (15 messages, latest: Sep 22 2023 at 11:29)
- VsCoq updates to 2.0.0 even after manually reverting (55 messages, latest: Sep 20 2023 at 15:45)
- Installing the new vscoq (4 messages, latest: Sep 18 2023 at 13:01)
- Package repo (5 messages, latest: Sep 17 2023 at 14:10)
- colorizing braces, brackets and friends in comments (3 messages, latest: Sep 15 2023 at 12:44)
- v0.3.9 (1 message, latest: Sep 13 2023 at 12:46)
- coqtop is not running (20 messages, latest: Sep 11 2023 at 08:13)
- Release automation for more projects (26 messages, latest: Sep 08 2023 at 12:52)
- Customizing colors? (4 messages, latest: Aug 25 2023 at 06:48)
- VsCoq 1.9 betas (13 messages, latest: Aug 24 2023 at 16:51)
- Call for beta installation instruction testers (10 messages, latest: Aug 21 2023 at 14:18)
- Queries (5 messages, latest: Aug 21 2023 at 09:33)
- Colors for bound variables (14 messages, latest: Aug 20 2023 at 19:12)
- GitHub README recommendations (3 messages, latest: Aug 17 2023 at 10:04)
- Using vscoq2 (4 messages, latest: Aug 14 2023 at 16:35)
- ppcmd (1 message, latest: Aug 14 2023 at 16:34)
- Building vscoq2 (6 messages, latest: Aug 12 2023 at 20:33)
- VSCoq2 manual mode shortcuts (4 messages, latest: Aug 12 2023 at 11:11)
- End_of_file (85 messages, latest: Aug 10 2023 at 20:22)
- Trying out vsCoq2 (3 messages, latest: Jul 28 2023 at 18:07)
- Error: Cannot find a physical path bound to logical path (13 messages, latest: Jul 21 2023 at 16:42)
- VSCoq vs CoqIDE speed on large terms (14 messages, latest: Jul 17 2023 at 08:00)
- See all steps to Qed together in Interactive ProofView? (7 messages, latest: Jul 14 2023 at 14:16)
- ✔ VSCoq2 manual mode (4 messages, latest: Jun 07 2023 at 11:50)
- VsCoq vs Emacs comments (7 messages, latest: May 31 2023 at 08:33)
- ✔ VSCoq unusable since VSCode 1.78 (2 messages, latest: May 12 2023 at 09:32)
- VSCoq unusable since VSCode 1.78 (9 messages, latest: May 11 2023 at 16:23)
- VsCoq weekly meeting (69 messages, latest: May 09 2023 at 08:23)
- Description of Unification Algorithm (5 messages, latest: Apr 26 2023 at 09:50)
- User contrib in VSCoq2 (1 message, latest: Apr 25 2023 at 13:14)
- Getting Enviroment at position (1 message, latest: Apr 11 2023 at 13:13)
- Find previous word (2 messages, latest: Apr 05 2023 at 14:04)
- VSCoq loading speed (6 messages, latest: Mar 31 2023 at 13:35)
- Invalidating State (3 messages, latest: Mar 29 2023 at 15:24)
- Vscode ssh (1 message, latest: Mar 14 2023 at 11:02)
- Getting Enviroment at line (1 message, latest: Mar 14 2023 at 09:46)
- ✔ Release 0.3.8 (2 messages, latest: Mar 01 2023 at 12:52)
- v0.3.8 (1 message, latest: Mar 01 2023 at 12:51)
- ✔ Debug _CoqProject (9 messages, latest: Feb 28 2023 at 22:05)
- New default branch (32 messages, latest: Feb 23 2023 at 11:53)
- Autocompletion (6 messages, latest: Feb 17 2023 at 10:30)
- Question about Constr.t and types in Coq (6 messages, latest: Feb 16 2023 at 14:40)
- Change of nix dev setup (1 message, latest: Feb 14 2023 at 13:26)
- VsCoq 2 roadmap (23 messages, latest: Feb 10 2023 at 17:51)
- VSCoq2's vscoqtop fails when loading plugins. (47 messages, latest: Feb 08 2023 at 16:10)
- Auto-detecting path of Windows installer? (9 messages, latest: Feb 03 2023 at 18:33)
- Summary of lemmas in a coq file (5 messages, latest: Jan 30 2023 at 10:31)
- VSCoq extension for VSCode doesn't work (37 messages, latest: Jan 26 2023 at 00:29)
- Snap (100 messages, latest: Jan 25 2023 at 20:39)
- Release 0.3.7 (58 messages, latest: Jan 16 2023 at 13:09)
- Dune Coq Top (10 messages, latest: Jan 09 2023 at 01:12)
- Coq in VS Code (40 messages, latest: Jan 08 2023 at 17:34)
- QuickChick (2 messages, latest: Jan 02 2023 at 16:41)
- multiple webviews (23 messages, latest: Dec 24 2022 at 01:38)
- coq-lsp and the vscoq2 roadmap (8 messages, latest: Dec 23 2022 at 12:36)
- TeX in VScoq (6 messages, latest: Dec 22 2022 at 11:51)
- ✔ ProofView black text dark background (4 messages, latest: Dec 21 2022 at 17:59)
- New collaborator for VsCoq (2 messages, latest: Dec 13 2022 at 14:07)
- Pending MRs (12 messages, latest: Dec 13 2022 at 01:59)
- ✔ Return of CoqTop Problem (7 messages, latest: Dec 12 2022 at 02:42)
- 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 (1 message, 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)
- ✔ Close Manifesto issue (2 messages, latest: Oct 14 2022 at 06:06)
- Branch protection for VsCoq (4 messages, latest: Oct 13 2022 at 15:32)
- 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 (3 messages, latest: Jul 30 2022 at 18:52)
- 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: Oct 13 2024 at 01:02 UTC