Search results

Problems on compiling a long proof

Status: Open.

#392 In whonore/Coqtail;

· ccz181078 opened on Jul 1, 2025

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

Status: Open.

#391 In whonore/Coqtail;

· Shark-with-Blue-Shoes 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

<code>:CoqGotoDef</code> Broken for Local Definitions with No <code>.vo</code>

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

Row and column backgrounds are woven in a strange way

highlighting

Status: Open.

#295 In whonore/Coqtail;

· Tuplanolla opened on May 20, 2022

Search results incorrectly highlighted as errors

good first issue

highlighting

Status: Open.

#288 In whonore/Coqtail;

· Tuplanolla opened on May 6, 2022

Different bullets have different formatting behavior

Status: Open.

#287 In whonore/Coqtail;

· Tuplanolla opened on May 3, 2022