8000 Commits · proux01/Coqtail · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Mar 30, 2024

fix: made edestruct a tactic keyword (#346)
bn-peters
authored

Commits on Mar 21, 2024

Commits on Feb 24, 2024

Rewrite _CoqProject parser to match CoqIDE (#342)
whonore
authored

Commits on Feb 19, 2024

Call a user-specified hook function when defining keybindings (#339)
jesboat
authored

Commits on Feb 17, 2024

Commits on Jan 28, 2024

Commits on Oct 27, 2023

fix typo in autogrp name (#331)
zapashcanon
authored

Commits on Oct 7, 2023

Ignore new pylint warnings (#330)
whonore
authored

Commits on Sep 17, 2023

Support Coq 8.18 (#329)
whonore
authored

Commits on Aug 5, 2023

Commits on Jul 23, 2023

Update changelog
whonore
committed
Show highlights for a buffer iff the window displays that buffer

tomtomjhj
authored and
whonore
committed
Store highlight match IDs in dictionary

tomtomjhj
authored and
whonore
committed
Remove redundant winid parameter in panel functions

tomtomjhj
authored and
whonore
committed

Commits on May 20, 2023

Commits on Apr 23, 2023

Support Coq 8.17 (#324)
whonore
authored

Commits on Feb 12, 2023

Commits on Feb 7, 2023

Address pylint configuration warning (#322)
whonore
authored

Commits on Jan 27, 2023

Remove whitespace in passenv (#319)
whonore
authored

Commits on Dec 30, 2022

Use `Add` when `SetOptions` fails (#318)
whonore
authored

Commits on Sep 30, 2022

Display goal names (#310)
whonore
authored

< 1E0A /div>

Commits on Sep 28, 2022

Support `Subgoals` command (#309)
whonore
authored

Commits on Sep 16, 2022

Commits on Aug 7, 2022

Release 1.6.4
whonore
committed

0