Commits

Commits on Apr 5, 2024

Merge remote-tracking branch 'upstream/master'
txyyss
committedApr 5, 2024

Commits on Nov 30, 2022

Add support for jumping to constructors of Variants (cpitclaudel#264 )
aa755
committedNov 30, 2022

Commits on Nov 29, 2022

Add more items to the abbreviation list (cpitclaudel#263 )
txyyss
committedNov 29, 2022
Add more items to the abbreviation list.
txyyss
committedNov 29, 2022

Commits on Mar 14, 2022

company: Rewrite -proof-goto-point for compatibility with ProofGeneral/PG#559
cpitclaudel
committedMar 14, 2022

Commits on Jul 8, 2021

font-lock: Highlight (** comments in font-lock-doc-face
cpitclaudel
committedJul 8, 2021

Commits on Apr 20, 2021

Revert "Support ProofGeneral/PG#559 + C-u C-c C-RET (cpitclaudel#247 )"
cpitclaudel
committedApr 20, 2021

Commits on Apr 17, 2021

Support ProofGeneral/PG#559 + C-u C-c C-RET (cpitclaudel#247 )
erikmd
committedApr 17, 2021

Commits on Mar 24, 2021

features: Disable the spinner by default
cpitclaudel
committedMar 24, 2021

Commits on Nov 25, 2020

Change from :type imagemagick to :type png in company-coq-LaTeX
cpitclaudel
committedNov 25, 2020
readme: Remove an outdated bit
cpitclaudel
committedNov 25, 2020

Commits on Jul 29, 2020

Change current-buffer to proof-script-buffer in company-coq-library-path

vzaliva
authored and
cpitclaudel
committedJul 29, 2020

Commits on Jun 25, 2020

Check the current buffer's name in jump-to-definition
cpitclaudel
committedJun 25, 2020
Combine our syntactic-face-function with others (don't overwrite them)
cpitclaudel
committedJun 25, 2020
Only show the hello message once per Emacs session
cpitclaudel
committedJun 25, 2020

Commits on Jun 8, 2020

Ignore neighboring [.,;] characters when deciding whether to prettify (cpitclaudel#235 )
soraros
committedJun 8, 2020

Commits on Mar 13, 2020

vm: Update Vagrant script
cpitclaudel
committedMar 13, 2020

Commits on Jan 30, 2020

quick-peek: Add :extend property
cpitclaudel
committedJan 30, 2020
jump-to-definition: Fix cpitclaudelGH-213
cpitclaudel
committedJan 30, 2020

Commits on Oct 25, 2019

eval: Use current region if active instead of last sexp
cpitclaudel
committedOct 25, 2019
features: Set compile-command to dune if a Makefile is not present
cpitclaudel
committedOct 25, 2019

Commits on Oct 4, 2019

Use new location of PG function coq-find-comment-* (cpitclaudel#226 )

vzaliva
authored and
cpitclaudel
committedOct 4, 2019

Commits on Jun 5, 2019

[doc] Update company-coq's README.md now that PG is on MELPA (cpitclaudel#220 )

erikmd
authored and
cpitclaudel
committedJun 5, 2019

Commits on Apr 25, 2019

refman: Warn when libxml is missing (closes cpitclaudel#103 )
cpitclaudel
committedApr 25, 2019

Commits on Apr 12, 2019

error-diffs: Simplify --make-link-string
cpitclaudel
committedApr 12, 2019
general: Change leading $ to \$ in regexps
cpitclaudel
committedApr 12, 2019

Commits on Feb 22, 2019

outline: Include section and module endings

vzaliva
authored and
cpitclaudel
committedFeb 22, 2019

Commits on Feb 21, 2019

jump-to-definition: Fix breakage introduced by a PG change

vzaliva
authored and
cpitclaudel
committedFeb 21, 2019

Commits on Feb 1, 2019

show-key: Reset timer when disabled
cpitclaudel
committedFeb 1, 2019
refman: Improve the robustness of the code that checks for libxml
cpitclaudel
committedFeb 1, 2019
readme: Stop recommending Symbola, since the newer versions are not free
cpitclaudel
committedFeb 1, 2019

Commits on Nov 7, 2018

Update company-coq-abbrev.el

soraros
authored and
cpitclaudel
committedNov 7, 2018

Commits on Jun 21, 2018

Mention multi-character renderings in README.md

anton-trunov
authored and
cpitclaudel
committedJun 21, 2018

Commits on Mar 7, 2018

completion: Fix an unescaped backslash in a docstring
cpitclaudel
committedMar 7, 2018

Commits on Feb 19, 2018

prettification: Remove some dead code
cpitclaudel
committedFeb 19, 2018