Commits

Branch selector

 main

User selector

tomtomjhj

Datepicker

All time

Commit History

Commits on Jul 23, 2023

• 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 Aug 7, 2022

• Support undo in auxiliary panels (#302)

  Show description for b81be42
  tomtomjhj

  authored
  b81be42

  Copy full SHA for b81be42

Commits on Mar 14, 2022

• Buffer diff refactoring and documentation (#270)

  Show description for 58e06a6
  tomtomjhj

  authored
  58e06a6

  Copy full SHA for 58e06a6

Commits on Feb 2, 2022

• Various improvements (#260)

  Show description for ccfe428
  tomtomjhj

  authored
  ccfe428

  Copy full SHA for ccfe428

Commits on Jan 27, 2022

• Lower the priority of richpp highlights (#258)

  Show description for 106f292
  tomtomjhj

  authored
  106f292

  Copy full SHA for 106f292

Commits on Jan 21, 2022

• Make noop command independent of the context (#253)

  tomtomjhj

  authored
  cbe08b4

  Copy full SHA for cbe08b4

Commits on Oct 25, 2021

• Fix formatoptions (#232)

  Show description for 8afb9c8
  tomtomjhj

  authored
  8afb9c8

  Copy full SHA for 8afb9c8

Commits on Oct 24, 2021

• fix some coqTactic keywords (#230)

  tomtomjhj

  authored
  3a075b8

  Copy full SHA for 3a075b8

Commits on Sep 17, 2021

• use \k instead of [:alnum:] (#229)

  tomtomjhj

  authored
  ca2ca0d

  Copy full SHA for ca2ca0d

Commits on Aug 23, 2021

• minor refactoring and documentation (#222)

  Show description for b292682
  tomtomjhj

  authored
  b292682

  Copy full SHA for b292682

• Use `m` instead of `:mark` (#223)

  Show description for d04a58d
  tomtomjhj

  authored
  d04a58d

  Copy full SHA for d04a58d

Commits on Jun 1, 2021

• make GetCoqIndent case-sensitive (#210)

  Show description for 54fa900
  tomtomjhj

  authored
  54fa900

  Copy full SHA for 54fa900

Commits on May 11, 2021

• Use `win_execute` when refreshing (#208)

  Show description for 2cababf
  

  tomtomjhj

  and

  whonore

  authored
  2cababf

  Copy full SHA for 2cababf

Commits on May 7, 2021

• highlight "Existing Instances" (#207)

  tomtomjhj

  authored
  36da09d

  Copy full SHA for 36da09d

Commits on Mar 16, 2021

• stay in visual mode when refreshing (#198)

  Show description for fb5f7e9
  tomtomjhj

  authored
  fb5f7e9

  Copy full SHA for fb5f7e9

Commits on Mar 14, 2021

• add CoqJumpToError command (#196)

  Show description for 0c63348
  

  tomtomjhj

  and

  whonore

  authored
  0c63348

  Copy full SHA for 0c63348

Commits on Feb 16, 2021

• fix highlighting in modules/sections (#191)

  Show description for 907ed30
  tomtomjhj

  authored
  907ed30

  Copy full SHA for 907ed30

Commits on Jan 21, 2021

• use \k for identifiers (#184)

  tomtomjhj

  authored
  9881c01

  Copy full SHA for 9881c01

Commits on Jan 16, 2021

• highlight admit tactic

  tomtomjhj

  committed
  8c7b09f

  Copy full SHA for 8c7b09f

Commits on Jan 3, 2021

• use bytes for everyting related to vim buffer (#177)

  Show description for 8c3cced
  

  tomtomjhj

  and

  whonore

  authored
  8c3cced

  Copy full SHA for 8c3cced

• bwipeout aux panels (#176)

  Show description for 985c305
  tomtomjhj

  authored
  985c305

  Copy full SHA for 985c305

Commits on Dec 30, 2020

• make CoqJumpToEnd a jump command (#173)

  Show description for 800ec2c
  tomtomjhj

  authored
  800ec2c

  Copy full SHA for 800ec2c

Commits on Nov 8, 2020

• add some syntax groups to coqVernac cluster (#153)

  tomtomjhj

  authored
  3b55f24

  Copy full SHA for 3b55f24

Commits on Oct 30, 2020

• nobuflisted for aux panels (#151)

  tomtomjhj

  authored
  cf4ad9f

  Copy full SHA for cf4ad9f

• keepjumps keepalt when setting up panels (#150)

  Show description for 52e114f
  tomtomjhj

  authored
  52e114f

  Copy full SHA for 52e114f

Commits on Jul 5, 2020

• Don't use -bar for commands that take argument(s) (#111)

  Show description for 4071ac3
  tomtomjhj

  authored
  4071ac3

  Copy full SHA for 4071ac3

Commits on Jul 2, 2020

• check before calling coqtail#stop on QuitPre (#105)

  tomtomjhj

  authored
  5fcea6a

  Copy full SHA for 5fcea6a

Commits on Jun 28, 2020

• lower priority for coq highlights

  Show description for 0826bd8
  tomtomjhj

  committed
  0826bd8

  Copy full SHA for 0826bd8