coq-community/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
OCamlMIT
Issues
- 1
- 1
Add support for outline
#797 opened by rtetley - 1
vscoq2.1.3 big output breaks display of goal
#809 opened by ybertot - 0
Qed range problem
#830 opened by rtetley - 0
Confusing behavior of "executed range"
#810 opened by ybertot - 2
vscoq 2.1.3, break seems broken
#803 opened by thery - 1
Closed Files Still Use Memory
#751 opened by joscoh - 15
Goals are not displayed
#821 opened by arnaudgolfouse - 0
- 0
Fail should not suppress output.
#819 opened by gares - 0
Debug messages should be displayed somewhere
#820 opened by gares - 6
- 0
Notice messages not shown ?
#815 opened by FissoreD - 0
Hover/About should run with warnings off
#814 opened by gares - 0
Bad interaction Vscoq2.1.3 Ltac2
#813 opened by ybertot - 3
User experience with query panel
#759 opened by eponier - 0
Goal printing gets rids of brackets
#802 opened by TheoWinterhalter - 0
Goal auto-scroll regression
#800 opened by rtetley - 1
Add support for folding ranges
#799 opened by rtetley - 0
Code Completion Appears Entirely Broken
#792 opened by zepalmer - 1
handling external compilation
#768 opened by vzaliva - 0
Missing Coq: commands in Command Palette
#791 opened by XFabian - 0
- 0
Frequent language server crashes when "diff mode"=on
#766 opened by nbrader - 0
Hanging `coqc` resumes on restart
#757 opened by joscoh - 0
Problem with new highlights system
#784 opened by rtetley - 1
Messages display
#776 opened by rtetley - 4
Formatting Proof view
#749 opened by oddcoder - 8
- 0
Comments are not parsed
#728 opened by rtetley - 2
Ltac printing - where is it displayed?
#733 opened by threonorm - 0
- 3
Language server build fails - coqc not available?
#747 opened by redanaheim - 3
VsCoq 2 -- Very slow with 100% CPU usage
#750 opened by julesjacobs - 1
- 0
- 1
- 3
Changing `Require Import` Stops Highlighting
#745 opened by joscoh - 7
- 0
- 2
Error message from Psatz crashes vscoq
#719 opened by thery - 3
Open quotes in comments triggers a parsing error
#737 opened by YaZko - 0
Guard failure at Qed time crashes the server
#736 opened by YaZko - 2
Forward/backward shortcut in continuous mode
#712 opened by damhiya - 0
Valid but non-ascii identifiers are not processed?
#731 opened by YaZko - 0
Output recorded in reverse order
#705 opened by gares - 1
Navigation bug with plugin loading
#707 opened by rtetley - 1
Cannot add monomorphic constraints
#708 opened by rtetley - 1
problem using vscoq on windows 10 via wsl
#709 opened by ellisonch - 1
Some issues with Nix
#713 opened by ablearthy