Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Feb 23, 2026

• Ensure modules are loaded if user uses cross-referencing

  Show description for 1fc1d8f
  

  phikal

  authored and

  cpitclaudel

  committed
  1fc1d8f

  Copy full SHA for 1fc1d8f

Commits on Feb 18, 2026

• Clean up implementation of Dune build directory removal

  Show description for 617d92d
  cpitclaudel

  committed
  617d92d

  Copy full SHA for 617d92d

• Rewrite company-coq-parse-path-specs to accommodate 9.1

  cpitclaudel

  committed
  65bfaf6

  Copy full SHA for 65bfaf6

• Protect against failures in Locate Library

  Show description for 4b9abf2
  cpitclaudel

  committed
  4b9abf2

  Copy full SHA for 4b9abf2

• Implement `company-coq-insert-named-goal-selectors`

  

  dhalilov

  authored and

  cpitclaudel

  committed
  f54090d

  Copy full SHA for f54090d

• Introduce `goal!` abbreviation for `coq-insert-named-goal-selectors`

  

  dhalilov

  authored and

  cpitclaudel

  committed
  d286918

  Copy full SHA for d286918

Commits on Aug 6, 2025

• removed dbg messages

  

  aa755

  authored and

  cpitclaudel

  committed
  78ed04c

  Copy full SHA for 78ed04c

• fixed https://github.com/cpitclaudel/company-coq/pull/257#issuecomment-1190673279

  

  aa755

  authored and

  cpitclaudel

  committed
  bd54593

  Copy full SHA for bd54593

• found the elisp code location for require imports. need to map candidates to strip

  

  aa755

  authored and

  cpitclaudel

  committed
  374fbbc

  Copy full SHA for 374fbbc

• strip _build/default when locating files

  

  MackieLoeffel

  authored and

  cpitclaudel

  committed
  aba5d6d

  Copy full SHA for aba5d6d

Commits on Aug 1, 2025

• prettify: Map |==> to ⟾

  

  ds-ac

  authored and

  cpitclaudel

  committed
  2a4ce56

  Copy full SHA for 2a4ce56

• regexes: use [:alpha:] and [:alnum:] where applicable.

  

  ds-ac

  authored and

  cpitclaudel

  committed
  664012f

  Copy full SHA for 664012f

Commits on Jun 25, 2025

• Fix jump-to-definition after PG#381

  

  MackieLoeffel

  authored and

  cpitclaudel

  committed
  9a872fe

  Copy full SHA for 9a872fe

Commits on Nov 30, 2022

• Add support for jumping to constructors of Variants (#264)

  aa755

  authored
  5affe7a

  Copy full SHA for 5affe7a

Commits on Nov 29, 2022

• Add more items to the abbreviation list (#263)

  txyyss

  authored
  6b1ca00

  Copy full SHA for 6b1ca00

Commits on Mar 14, 2022

• company: Rewrite -proof-goto-point for compatibility with ProofGeneral/PG#559

  cpitclaudel

  committed
  a6e349e

  Copy full SHA for a6e349e

Commits on Jul 8, 2021

• font-lock: Highlight (** comments in font-lock-doc-face

  cpitclaudel

  committed
  382db93

  Copy full SHA for 382db93

Commits on Apr 20, 2021

• Revert "Support ProofGeneral/PG#559 + `C-u C-c C-RET` (#247)"

  Show description for 6a23da6
  cpitclaudel

  committed
  6a23da6

  Copy full SHA for 6a23da6

Commits on Apr 17, 2021

• Support ProofGeneral/PG#559 + `C-u C-c C-RET` (#247)

  Show description for 9cef9d2
  erikmd

  authored
  9cef9d2

  Copy full SHA for 9cef9d2

Commits on Mar 24, 2021

• features: Disable the spinner by default

  Show description for 7423ee2
  cpitclaudel

  committed
  7423ee2

  Copy full SHA for 7423ee2

Commits on Nov 25, 2020

• Change from :type imagemagick to :type png in company-coq-LaTeX

  Show description for 4da7b41
  cpitclaudel

  committed
  4da7b41

  Copy full SHA for 4da7b41

• readme: Remove an outdated bit

  cpitclaudel

  committed
  11c40a0

  Copy full SHA for 11c40a0

Commits on Jul 29, 2020

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

  Show description for b096cb5
  

  vzaliva

  authored and

  cpitclaudel

  committed
  b096cb5

  Copy full SHA for b096cb5

Commits on Jun 25, 2020

• Check the current buffer's name in jump-to-definition

  Show description for 435610b
  cpitclaudel

  committed
  435610b

  Copy full SHA for 435610b

• Combine our syntactic-face-function with others (don't overwrite them)

  cpitclaudel

  committed
  7f7a862

  Copy full SHA for 7f7a862

• Only show the hello message once per Emacs session

  cpitclaudel

  committed
  e55bc6b

  Copy full SHA for e55bc6b

Commits on Jun 8, 2020

• Ignore neighboring [.,;] characters when deciding whether to prettify (#235)

  Show description for 7ec8058
  soraros

  authored
  7ec8058

  Copy full SHA for 7ec8058

Commits on Mar 13, 2020

• vm: Update Vagrant script

  cpitclaudel

  committed
  f9dba9d

  Copy full SHA for f9dba9d

Commits on Jan 30, 2020

• quick-peek: Add :extend property

  cpitclaudel

  committed
  4eb6524

  Copy full SHA for 4eb6524

• jump-to-definition: Fix GH-213

  Show description for b3580c9
  cpitclaudel

  committed
  b3580c9

  Copy full SHA for b3580c9

Commits on Oct 25, 2019

• eval: Use current region if active instead of last sexp

  cpitclaudel

  committed
  6e8bc2e

  Copy full SHA for 6e8bc2e

• features: Set compile-command to dune if a Makefile is not present

  cpitclaudel

  committed
  a07f850

  Copy full SHA for a07f850

Commits on Oct 4, 2019

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

  Show description for 109f86d
  

  vzaliva

  authored and

  cpitclaudel

  committed
  109f86d

  Copy full SHA for 109f86d

Commits on Jun 5, 2019

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

  

  erikmd

  authored and

  cpitclaudel

  committed
  779dabd

  Copy full SHA for 779dabd

Commits on Apr 25, 2019

• refman: Warn when libxml is missing (closes #103)

  cpitclaudel

  committed
  3262fcc

  Copy full SHA for 3262fcc

Pagination

Previous

Next