All issues

Search results

Making it configurable to not "force" display document buffers?

Status: Open.

#277 In cpitclaudel/company-coq;

· LukeXuan opened on Aug 15, 2025

Keybinding conflict with meow-edit in normal mode.

Status: Open.

#276 In cpitclaudel/company-coq;

· Ochiruko opened on Jul 26, 2025

company-coq-jump-to-definition goes to the wrong definition when multiple exist

Status: Open.

#273 In cpitclaudel/company-coq;

· ia0 opened on Jun 27, 2025

Comany-coq should not overwrite major mode keybindings from ProofGeneral

Status: Open.

#272 In cpitclaudel/company-coq;

· hendriktews opened on Jun 25, 2025

jump to defn using the new positional info in About

Status: Open.

#270 In cpitclaudel/company-coq;

· aa755 opened on May 28, 2025

alerts in console mode over ssh

Status: Open.

#269 In cpitclaudel/company-coq;

· aa755 opened on Feb 4, 2025

"with" word withing comments spills into outline

Status: Open.

#267 In cpitclaudel/company-coq;

· vzaliva opened on Mar 27, 2024

definitions with #[local]/#[global] attributes are not shown in outline

Status: Open.

#266 In cpitclaudel/company-coq;

· vzaliva opened on Mar 27, 2024

Requesting support for .vos (in addition to .vio) files

Status: Open.

#260 In cpitclaudel/company-coq;

· yoichi-at-bedrock opened on May 30, 2022

Improve (company-coq-occur) to cope with non-one-liner statements?

Status: Open.

#259 In cpitclaudel/company-coq;

· erikmd opened on Apr 5, 2022

Feedback from Coq Community Survey 2022.

Status: Open.

#258 In cpitclaudel/company-coq;

· Zimmi48 opened on Mar 25, 2022

Is there a way to disable the documentation buffer?

Status: Open.

#256 In cpitclaudel/company-coq;

· damif94 opened on Nov 9, 2021