8000 Commits · whonore/Coqtail · GitHub

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

Commits

Commits on Mar 29, 2025

Commits on Feb 23, 2025

Parse named goal selectors correctly
whonore
committed

Commits on Jan 4, 2025

Commits on Sep 17, 2024

Commits on Sep 4, 2024

Pass function instead of string to `coqtail#start` (#371)
whonore
authored

Commits on Aug 23, 2024

Avoid race condition while starting coqtail (#366)
whonore
authored
Add two sentences to README.md explaining when Coqtail commands are loaded (#365)
hyperpenelope
authored

Commits on Aug 3, 2024

Fix NeoVim Deadlock (#361)
whonore
authored

Commits on Jun 30, 2024

Commits on Jun 15, 2024

Adapt to new error location type (#358)
whonore
authored

Commits on Jun 2, 2024

Fix local nix + coq tests (#359)
whonore
authored

Commits on May 19, 2024

Highlight Structure as a synonym for Record (#357)
whonore
authored

Commits on May 17, 2024

Commits on May 6, 2024

Make `Requirements` linkable in README (#354)
andres-erbsen
authored

Commits on Apr 19, 2024

Only parse complete lines in `s:chanrecv` (#353)
whonore
authored

Commits on Apr 17, 2024

Avoid highlighting comments in strings (#352)
Lysxia
authored

Commits on Apr 13, 2024

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

0