issues
search
whonore
/
Coqtail
Interactive Coq Proofs in Vim
MIT License
274
stars
34
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Catch long Coqtail warnings
#274
whonore
closed
2 years ago
0
Problematic handling of startup warning messages
#273
Tantalus13A98B5F
closed
2 years ago
3
Add `g:coqtail_tagfunc` option to enable/disable default `tagfunc`
#272
whonore
closed
2 years ago
0
Add word boundaries to tactic regexes
#271
whonore
closed
2 years ago
0
refactoring and documentation
#270
tomtomjhj
closed
2 years ago
1
Highlight more tactics
#269
whonore
closed
2 years ago
0
Fix broken indentation and highlighting after `Fail Next Obligation`
#268
whonore
closed
2 years ago
0
"Fail Next Obligation" breaks highlighting
#267
bluelightning32
closed
2 years ago
0
Support Coq 8.15
#266
whonore
closed
2 years ago
0
Coq master ci workaround
#265
whonore
closed
2 years ago
0
Reenable master
#264
whonore
closed
2 years ago
0
Update CI actions
#263
whonore
closed
2 years ago
0
Print error message if Coqtop fails to start during tests
#262
whonore
closed
2 years ago
0
Avoid clearing Info buffer when CoqToLine advances 0 sentences
#261
whonore
closed
2 years ago
0
Various improvements
#260
tomtomjhj
closed
2 years ago
2
Add documentation about clearing error highlighting
#259
gullcomb
closed
2 years ago
0
Lower the priority of richpp highlights
#258
tomtomjhj
closed
2 years ago
0
Unable to locate library. (While searching for a .vos file.)
#257
jvolden
closed
2 years ago
3
Escape unprintable bytes in coqtop output
#256
whonore
closed
2 years ago
0
Indent `Proof using`
#255
whonore
closed
2 years ago
0
No automatic indent after "Proof using"
#254
bluelightning32
closed
2 years ago
1
Make noop command independent of the context
#253
tomtomjhj
closed
2 years ago
1
Implicit Type (x : string) crashes Coqtail
#252
lgaeher
closed
2 years ago
2
Universe level different
#251
ju-sh
closed
2 years ago
1
Error highlighting for failed sentences is distracting when editing
#250
gullcomb
closed
2 years ago
7
Tags for versions 1.5.2 and 1.6.0 have not been pushed to GitHub
#249
gullcomb
closed
2 years ago
1
Add option to control `Inductive` branch indentation
#248
whonore
closed
2 years ago
0
Getting stuck during execution
#247
ju-sh
closed
2 years ago
3
Is there a way to change indentation style?
#246
ju-sh
closed
2 years ago
3
Failed to launch Coq in wsl
#245
PROgram52bc
opened
2 years ago
11
Print an error when channel can't open
#244
whonore
closed
2 years ago
0
Highlight `Number Notation` and `Declare Custom Entry`
#243
Lysxia
closed
2 years ago
1
Define syntax code folding for some blocks
#242
theKidOfArcrania
closed
2 years ago
1
Failed to launch Coq.
#241
vsiles
opened
3 years ago
23
Support Coq 8.14
#240
whonore
closed
3 years ago
0
Coqtail will not start server
#239
CTHULHU-Jesus
closed
3 years ago
1
Change ambiguous mappings to remove delay
#238
whonore
closed
3 years ago
2
Collaborate?
#237
Julian
closed
3 years ago
6
Vim is slow to jump using G in .v files
#236
ana-borges
closed
3 years ago
4
Clear `b:coqtail_panel_richpp` when hiding the Goal or Info panels
#235
whonore
closed
3 years ago
0
Recognize `.\t` as a sentence ending
#234
whonore
closed
3 years ago
0
Periods followed by tabs are ignored.
#233
Lysxia
closed
3 years ago
0
Fix formatoptions
#232
tomtomjhj
closed
3 years ago
1
Comment indentation and duplicated comment line when inputing "return" in edit mode.
#231
vsiles
closed
3 years ago
9
fix some coqTactic keywords
#230
tomtomjhj
closed
3 years ago
0
use \k instead of [:alnum:]
#229
tomtomjhj
closed
3 years ago
0
Simplify coq.nix
#228
whonore
closed
3 years ago
0
Run linters against test code
#227
whonore
closed
3 years ago
0
Filter out warnings before deciding to abort
#226
whonore
closed
3 years ago
0
_CoqProject warnings result in an unexpected error at launch
#225
mbty
closed
3 years ago
1
Previous
Next