cpitclaudel/company-coq

Issues

• It should be easy to [discover how to] disable code folding

  #204 opened 6 years ago
  4

• No completion for functions in imported files

  #203 opened 6 years ago
  1

• How do I add multi-character replacements to prettify-symbols-alist?

  #201 opened 6 years ago
  3

• Starting company-coq breaks 'M-x coq-insert-intros'

  #200 opened 6 years ago
  3

• emacs TAGS

  #198 opened 6 years ago
  8

• Response pane should not prettify text parts of error messages, but only Gallina parts

  #197 opened 7 years ago
  3

• Disable completion for `false`?

  #196 opened 7 years ago
  5

• Problem with lemma type printing in the Outline buffer

  #195 opened 7 years ago
  4

• Subscripts affect line height

  #194 opened 7 years ago
  1

• How to disable the automatic insertion of unicode symbols?

  #193 opened 7 years ago
  2

• Module include highlighted as syntax error

  #192 opened 7 years ago
  2

• company-coq-diff-unification-error does not work when there is a context

  #191 opened 7 years ago
  1

• Overeager completion

  #190 opened 7 years ago
  2

• Typing unicode in minibuffer

  #189 opened 7 years ago
  1

• autocompletion hangs emacs for unacceptably long

  #188 opened 7 years ago
  1

• No symbols displayed at all

  #187 opened 7 years ago
  1

• code completion should not interrupt search

  #186 opened 7 years ago
  2

• Changes for PG/xml

  #185 opened 7 years ago
  1

• Unification errors with quotes are incorrectly parsed

  #183 opened 7 years ago
  0

• [Feature Request] Make code folding compatible with other existing folding utilities?

  #182 opened 7 years ago
  2

• no unification error message found

  #181 opened 7 years ago
  2

• Company-Coq is slow at `Require Import` completion when there are a large number ( > 1000) files in the project

  #180 opened 7 years ago
  2

• Is it possible to automatically complete the externally defined symbols and tactics in Coq 8.7.

  #179 opened 2 years ago
  2

• Very slow processing of Coq file

  #178 opened 7 years ago
  0

• company-coq does not stay off when I turn it off

  #177 opened 7 years ago
  4

• C-c C-d doesn't work for tactic

  #176 opened 7 years ago
  2

• Section handling in outline mode

  #175 opened 7 years ago
  2

• Autocompletion gets overexcited when switching to normal mode in spacemacs

  #174 opened 7 years ago
  3

• propose hyps names in completion

  #173 opened 7 years ago
  1

• Request: `induction!` and `inversion!` like `intros!`

  #171 opened 7 years ago
  6

• Goal line blinks when the cursor sits over it

  #169 opened 7 years ago
  2

• parsing fails in Coq trunk

  #168 opened 7 years ago
  11

• company-coq-mode deletes the goals line

  #167 opened 7 years ago
  5

• company-coq does not work with debian/ubuntu 16.04's emacs

  #166 opened 7 years ago
  2

• Keys bound while company-coq is not active

  #164 opened 8 years ago
  4

• Any interest in having a Coq 'compile-command?

  #163 opened 8 years ago
  1

• Auto-completion seems to fail when second character is underscore

  #162 opened 8 years ago
  1

• Coq Goals window won't update if goto the point after comments

  #161 opened 7 years ago
  2

• Spacemacs/Evil mode-switching doesn't play nice with Company-Coq Autocomplete

  #160 opened 8 years ago
  4

• some company-coq commands make emacs segfault

  #159 opened 7 years ago
  23

• Resources not found

  #157 opened 8 years ago
  2

• company-coq-diff-dwim: "Window is dedicated to ‘*response*’" then "Proof process busy!"

  #156 opened 8 years ago
  10

• "Print Instances" does not auto complete

  #154 opened 8 years ago
  22

• How do I get a unification diff from console emacs?

  #153 opened 8 years ago
  1

• Flycheck frame opens unexpectedly

  #152 opened 8 years ago
  2

• company-coq-lemma-from-goal does not work with helm-mode

  #151 opened 8 years ago
  7

• jumping to lambda-bound or let-bound variables.

  #150 opened 8 years ago
  1

• jumping back from a jump to definition

  #149 opened 8 years ago
  1

• Document buffer occupies full frame

  #148 opened 8 years ago
  8

• Change predefined unicode symbol

  #147 opened 8 years ago
  3