Search results

[Bug] E5513 at launch

Status: Open.

#427 In whonore/Coqtail;

· foxyseta opened on May 25, 2026

Cannot find a physical path bound to logical path String with prefix Stdlib.

Status: Open.

#419 In whonore/Coqtail;

· recluse099 opened on Feb 16, 2026

Add config to suppress version warning

Status: Open.

#405 In whonore/Coqtail;

· sanjit-bhat opened on Oct 27, 2025

Rocq not starting

Status: Open.

#403 In whonore/Coqtail;

· ju-sh opened on Oct 22, 2025

How do you make Coqtail's windows automatically close when switching to another tab?

Status: Open.

#391 In whonore/Coqtail;

· Humam-Alhusaini opened on Jun 12, 2025

FR: Smarter CoqLocate

Status: Open.

#390 In whonore/Coqtail;

· ErrWare opened on Jun 6, 2025

Close the command output when empty

Status: Open.

#374 In whonore/Coqtail;

· meithecatte opened on Nov 7, 2024

Feature Request: Conceal Common Coq Symbols

Status: Open.

#370 In whonore/Coqtail;

· keikun555 opened on Sep 3, 2024

feature: automatic CoqJumpToEnd after stepping?

Status: Open.

#367 In whonore/Coqtail;

· katrinafyi opened on Aug 25, 2024

:CoqGotoDef Broken for Local Definitions with No .vo

bug

Status: Open.

#363 In whonore/Coqtail;

· whonore opened on Aug 9, 2024

:Coq Set Printing Width not persistent

Status: Open.

#345 In whonore/Coqtail;

· bn-peters opened on Mar 27, 2024

Anonymous implicit generalization is not recognized

good first issue

help wanted

highlighting

Status: Open.

#296 In whonore/Coqtail;

· Tuplanolla opened on May 24, 2022