Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 24, 2024

• Rewrite _CoqProject parser to match CoqIDE (#342)

  Show description for 70fcabb
  whonore

  authored
  70fcabb

  Copy full SHA for 70fcabb

Commits on Feb 19, 2024

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

  Show description for d27e33d
  jesboat

  authored
  d27e33d

  Copy full SHA for d27e33d

Commits on Feb 17, 2024

• Add g:coqtail_treat_stderr_as_warning (#338)

  whonore

  authored
  92cd578

  Copy full SHA for 92cd578

• Fix goals panel when no proof is active on Coq >= 8.16. (#337)

  Show description for e52c456
  jesboat

  authored
  e52c456

  Copy full SHA for e52c456

Commits on Jan 28, 2024

• Release 1.7.1

  whonore

  committed
  ede74fb

  Copy full SHA for ede74fb

• Update Coq and CI versions (#336)

  Show description for 4514d0b
  whonore

  authored
  4514d0b

  Copy full SHA for 4514d0b

Commits on Oct 27, 2023

• fix typo in autogrp name (#331)

  redianthus

  authored
  ecca501

  Copy full SHA for ecca501

Commits on Oct 7, 2023

• Ignore new pylint warnings (#330)

  whonore

  authored
  ac963d9

  Copy full SHA for ac963d9

Commits on Sep 17, 2023

• Support Coq 8.18 (#329)

  whonore

  authored
  6462fb4

  Copy full SHA for 6462fb4

Commits on Aug 5, 2023

• Rename master -> main

  whonore

  committed
  dfe3939

  Copy full SHA for dfe3939

• Make CI smarter (#328)

  Show description for 63e097c
  whonore

  authored
  63e097c

  Copy full SHA for 63e097c

Commits on Jul 23, 2023

• Update changelog

  whonore

  committed
  6134040

  Copy full SHA for 6134040

• Show highlights for a buffer iff the window displays that buffer

  Show description for 0599113
  

  tomtomjhj

  authored and

  whonore

  committed
  0599113

  Copy full SHA for 0599113

• Store highlight match IDs in dictionary

  

  tomtomjhj

  authored and

  whonore

  committed
  72c9bb5

  Copy full SHA for 72c9bb5

• Remove redundant winid parameter in panel functions

  Show description for c3f19a0
  

  tomtomjhj

  authored and

  whonore

  committed
  c3f19a0

  Copy full SHA for c3f19a0

Commits on May 20, 2023

• Remove redundant cast (#326)

  whonore

  authored
  ec80f3d

  Copy full SHA for ec80f3d

• Use more discrete colors in dark backgrounds (#325)

  Show description for a9cc7d9
  

  ayhon

  and

  whonore

  authored
  a9cc7d9

  Copy full SHA for a9cc7d9

Commits on Apr 23, 2023

• Support Coq 8.17 (#324)

  whonore

  authored
  916bd5c

  Copy full SHA for 916bd5c

Commits on Feb 12, 2023

• Relase 1.7.0

  whonore

  committed
  9aefe2a

  Copy full SHA for 9aefe2a

• Add `CoqOmitToLine` to omit proofs up to line (#321)

  Show description for 6b88dcc
  whonore

  authored
  6b88dcc

  Copy full SHA for 6b88dcc

Commits on Feb 7, 2023

• Address pylint configuration warning (#322)

  whonore

  authored
  9069859

  Copy full SHA for 9069859

Commits on Jan 27, 2023

• Remove whitespace in passenv (#319)

  Show description for 564a646
  whonore

  authored
  564a646

  Copy full SHA for 564a646

Commits on Dec 30, 2022

• Use `Add` when `SetOptions` fails (#318)

  Show description for 4ba9154
  whonore

  authored
  4ba9154

  Copy full SHA for 4ba9154

Commits on Nov 29, 2022

• Fix no-op with `-noinit` (#313)

  Show description for 1704623
  whonore

  authored
  1704623

  Copy full SHA for 1704623

• Remove unrecognized mypy option (#312)

  whonore

  authored
  21e5083

  Copy full SHA for 21e5083

• Bump Action versions (#315)

  whonore

  authored
  157c433

  Copy full SHA for 157c433

• Fix Python CI (#314)

  Show description for 02589ed
  whonore

  authored
  02589ed

  Copy full SHA for 02589ed

Commits on Sep 30, 2022

• Display goal names (#310)

  whonore

  authored
  98c99cc

  Copy full SHA for 98c99cc

Commits on Sep 28, 2022

• Support `Subgoals` command (#309)

  Show description for c077a72
  whonore

  authored
  c077a72

  Copy full SHA for c077a72

Commits on Sep 16, 2022

• Remove 'n' flag from ending part of `comments` (#307)

  Show description for 4098ba5
  whonore

  authored
  4098ba5

  Copy full SHA for 4098ba5

• Remove unused type: ignore comment to appease mypy (#308)

  whonore

  authored
  1394300

  Copy full SHA for 1394300

Commits on Aug 7, 2022

• Release 1.6.4

  Show description for 7401364
  whonore

  committed
  7401364

  Copy full SHA for 7401364

• Support undo in auxiliary panels (#302)

  Show description for b81be42
  tomtomjhj

  authored
  b81be42

  Copy full SHA for b81be42

• Explicitly select and ignore all flake8 warnings (#303)

  whonore

  authored
  063dd45

  Copy full SHA for 063dd45

Commits on Jul 30, 2022

• Update pylint and fix warnings (#301)

  Show description for 92dccc0
  whonore

  authored
  92dccc0

  Copy full SHA for 92dccc0

Pagination

Previous

Next