issues
search
coq
/
vscoq
Visual Studio Code extension for Coq
MIT License
335
stars
68
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add a button to open and close, and keep close the proof view if used
#876
thomas-lamiaux
closed
1 month ago
12
feat: adding option for interpreting to exact cursor position or next command during interpret to point
#875
Durbatuluk1701
closed
3 weeks ago
17
Changing feedback messages to be appended
#874
Durbatuluk1701
closed
1 month ago
5
Debug output is printed reverse
#873
thomas-lamiaux
closed
1 month ago
2
[Wish] Automatic goal folding and windows size
#872
gares
opened
1 month ago
3
feat: adding alt + shift click to expand all ellipsis goals
#871
Durbatuluk1701
closed
1 month ago
3
improvement for vim navigation
#870
qcfu-bu
closed
3 weeks ago
5
Significant delay between tactic completion and goal space update
#869
CharlesAverill
closed
4 weeks ago
5
feat: add a walkthrough
#868
rtetley
closed
1 month ago
5
feat: add a a main menu
#867
rtetley
closed
1 month ago
0
`Goals › Diff: Mode` not working with `On`/`Removed`
#866
ric-almeida
opened
1 month ago
1
feat: add buttons for the common coq navigation commands
#865
rtetley
closed
1 month ago
0
Coq command menu
#864
rtetley
closed
1 month ago
1
Display change log on new release
#863
rtetley
closed
1 month ago
1
```Coq: Doc: Getting Started``` command.
#862
rtetley
closed
1 month ago
8
Search UI formatting
#861
rtetley
closed
2 months ago
0
feat: externalize pp-display library
#860
rtetley
closed
2 months ago
0
Give clear feedback when a proof view is busy computing
#859
rtetley
opened
2 months ago
23
Update README.md
#858
gares
closed
2 months ago
0
Update README.md
#857
gares
closed
2 months ago
0
Update documentation
#856
rtetley
closed
2 months ago
0
Bump version for release
#855
rtetley
closed
2 months ago
0
Correct unshelve message
#854
rtetley
closed
2 months ago
0
[Chore] Update documentation
#853
rtetley
closed
2 months ago
1
Command Inspect output is missing a line break
#852
ybertot
opened
2 months ago
1
"There are shelved goals. Try using unshelved"
#851
TheoWinterhalter
closed
2 months ago
0
Fix client tests
#850
rtetley
closed
2 months ago
0
config: Add prettier formatter
#849
TDiazT
closed
1 month ago
5
Fix fatal warnings
#848
rtetley
closed
2 months ago
0
Fix max depth setting initialization
#847
rtetley
closed
2 months ago
0
Work on better system for goal ellipsis
#846
thery
closed
2 months ago
10
Support block on first error mode
#845
rtetley
closed
2 months ago
1
More complete document state request
#844
rtetley
closed
2 months ago
0
Bug in the computation of "next sentence"
#843
gares
opened
2 months ago
1
Get all debug messages
#842
rtetley
closed
2 months ago
3
Don't error on deprecated warnings in ocaml code
#841
SkySkimmer
closed
2 months ago
10
Remove display goals from package.json
#840
rtetley
closed
2 months ago
0
Bump version for pre-release
#839
rtetley
closed
2 months ago
0
Externalize PpString lib
#838
rtetley
closed
2 months ago
1
'Coq: Display Goals' resulted in an error
#837
motiwalam
closed
2 months ago
2
Better user feedback when vscoq-language-server installation errors are detected
#836
ybertot
opened
2 months ago
9
Unsatisfactory line break
#835
ybertot
closed
4 weeks ago
4
Ellipsis
#834
rtetley
closed
2 months ago
4
allows newer ppx_yojson_conf version
#833
CodiePP
closed
2 months ago
2
[outline] list alien, named, symbols
#832
gares
closed
2 months ago
2
Change default value for vscoq.goals.messages.full to true
#831
rtetley
closed
2 months ago
0
Qed range problem
#830
rtetley
opened
2 months ago
0
Stop recomputing display for big goals
#829
rtetley
closed
2 months ago
1
Fix highlight bug
#828
rtetley
closed
2 months ago
3
Update doc. Tweak ci.
#827
rtetley
closed
2 months ago
0
Previous
Next