Issues filed for the-lambda-church/coquille

View Full Project
Do you use coquille? Leave a review!

Rate of open issues in the last 60 days

coquille open issues (View Closed Issues)
  • over 2 years Broken pipe during RawQuery
  • over 2 years provide details on pathogen installation
  • over 3 years Crash on Coq 8.5
  • over 3 years a few shortcuts would be nice
  • over 4 years Coq-HoTT
  • almost 5 years is there an easy way to put back some old coq ide features?

coquille closed issues

  • over 2 years Syntax Highlighting error on nested Lemma
  • over 3 years Being listed on http://coq.inria.fr/related-tools
  • over 3 years broken image link in README
  • over 4 years Encoding error
  • over 4 years Coq responds "Incorrect query"
  • almost 5 years deleting text does not make Coquille to undo
  • almost 5 years where is vimbufsync module?
  • almost 5 years CoqToCursor should process command under cursor if cursor on "."
  • about 5 years Handling of unicode.
  • over 5 years Communication with coqtop should be non-blocking
  • over 5 years Wrong parsing of comments and bullets
  • over 5 years Cannot see coqtop progress, screen not refreshed
  • over 5 years Cannot allocate color 60 using gvim
  • over 5 years Incompatibility with minibufexpl
  • over 5 years Cannot use configuration commands
  • over 5 years Killing Coq leaving Vim hanging
  • over 5 years Info pane cleared immediately when in insert mode
  • over 5 years CoqToCursor vs CoqUndoToCursor
  • over 5 years Accidentally re-running CoqLaunch