Search results

VSCoq complains about uninstalled server, even outside of Coq files

Status: Open.

#1027 In coq/vscoq;

· TheoWinterhalter opened on Feb 7, 2025

"Proof Mode" command not supported?

Status: Open.

#1025 In coq/vscoq;

· taeyoung-1 opened on Feb 4, 2025

Bug on tiny line below focused goal tabs

Status: Open.

#1022 In coq/vscoq;

· FissoreD opened on Jan 30, 2025

Problem upgrading to 2.2.3

Status: Open.

#1017 In coq/vscoq;

· ybertot opened on Jan 29, 2025

Coq: Reset command does not use newly installed libraries

Status: Open.

#1016 In coq/vscoq;

· cas-haaijman opened on Jan 29, 2025

VsCoq Legacy not working with rocq dev + compat layer?

Status: Open.

#1013 In coq/vscoq;

· mattam82 opened on Jan 28, 2025

extra space in \in display

bugSomething isn't workingSomething isn't working

Status: Open.

#1006 In coq/vscoq;

· gares opened on Jan 23, 2025

version 2.2.3 is a pre-release?

Status: Open.

#1005 In coq/vscoq;

· thery opened on Jan 23, 2025

Support for "Set Printing All / Set Printing Universes"

enhancementNew feature or requestNew feature or request

Status: Open.

#1004 In coq/vscoq;

· mattam82 opened on Jan 23, 2025

Consider adding configuration to expand all goals by default

enhancementNew feature or requestNew feature or request

Status: Open.

#999 In coq/vscoq;

· booleancoercion opened on Jan 20, 2025

Export API for running tactics at a given loc

enhancementNew feature or requestNew feature or request

Status: Open.

#996 In coq/vscoq;

· rtetley opened on Jan 20, 2025

 ·  

Next release (v2.2.4)

One click install

enhancementNew feature or requestNew feature or request

prio:high

Status: Open.

#994 In coq/vscoq;

· rtetley opened on Jan 20, 2025

 ·  

Road map star issues