Issues
- 1
Deprecate this repo?
#77 opened by XVilka - 1
`:Coq Check nat.` hangs.
#72 opened by kindaro - 4
coq 8.9.0 support
#75 opened by VisualizeTheWorld - 4
Add requirement in readme
#47 opened by Yoz0 - 0
vim errors when opening coq on mac
#74 opened by suteerthv - 1
- 1
Python Error: IndexError: list index out of range
#65 opened by Kraks - 0
How can I see errors related to a previous line?
#71 opened by mheiber - 2
- 8
Python error on coq error
#46 opened by sdemos - 2
Feature request: Python3 support
#59 opened by carlpaten - 1
- 0
Coq 8.4 support
#64 opened by leon-vv - 1
- 0
- 1
- 2
Python error when using UTF8 characters
#53 opened by dixego - 1
provide details on pathogen installation
#41 opened by dimpase - 3
- 1
Newly-merged support for 8.5 often hangs
#45 opened by pqwy - 4
Broken pipe during RawQuery
#42 opened by WuTheFWasThat - 9
Crash on Coq 8.5
#31 opened by nilehmann - 3
Syntax Highlighting error on nested Lemma
#40 opened by tbelaire - 5
broken image link in README
#28 opened by hackedy - 4
a few shortcuts would be nice
#29 opened by c-cube - 0
Being listed on http://coq.inria.fr/related-tools
#30 opened by seirl - 2
Encoding error
#20 opened by jorisgio - 1
- 5
- 10
Coq responds "Incorrect query"
#18 opened by anderslundstedt - 6
- 5
where is vimbufsync module?
#15 opened by osa1 - 2
deleting text does not make Coquille to undo
#17 opened by osa1 - 1
- 2
Incompatibility with minibufexpl
#6 opened by maximedenes - 2
Wrong parsing of comments and bullets
#9 opened by maximedenes - 2
Handling of unicode.
#13 opened by vbgl - 1
Killing Coq leaving Vim hanging
#4 opened by TomMD - 0
- 0
Cannot allocate color 60 using gvim
#7 opened by maximedenes - 3
Cannot use configuration commands
#5 opened by maximedenes - 4
CoqToCursor vs CoqUndoToCursor
#2 opened by elliottt - 1
- 2
Accidentally re-running CoqLaunch
#1 opened by elliottt