A

agda-vim

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed about 19 hours ago. based on code collected about 22 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Apr 24, 2023 — Apr 24, 2024 Showing page 1 of 4 Search / Filter on:
Merge pull request #60 from Isti115/master	Derek Elkins	More...				over 2 years ago
Add highlighting for universe level omega	István Donkó	More...				over 2 years ago
Merge pull request #59 from favonia/patch-1	Derek Elkins	More...				over 2 years ago
Highlight `Prop`	favonia	More...				over 2 years ago
Merge pull request #58 from diskshima/update-bindings-file-link	Derek Elkins	More...				over 3 years ago
Refer to autoload/agda.vim for utf8 bindings	Daisuke Shimamoto	More...				over 3 years ago
Merge pull request #57 from mb64/add-variable	Derek Elkins	More...				over 3 years ago
Merge pull request #56 from mb64/dont-break-delimitmate	Derek Elkins	More...				over 3 years ago
Add variable keyword	Mark Barbone	More...				almost 4 years ago
Fix 'matchpairs' syntax	Mark Barbone	More...				almost 4 years ago
Merge pull request #51 from taqenoqo/master	Derek Elkins	More...				about 4 years ago
Add math chars	takenoko	More...				about 4 years ago
Add more default glyphs	takenoko	More...				about 4 years ago
Correct AgdaRestartAgda command and have README match code.	Derek Elkins	More...				over 4 years ago
Update README to correspond to latest version of Agda.	Derek Elkins	More...				over 4 years ago
Merge pull request #45 from erydo/glyph-dict	Derek Elkins	More...				over 4 years ago
Merge branch 'master' into glyph-dict	Derek Elkins	More...				over 4 years ago
Merge pull request #44 from erydo/modernize	Derek Elkins	More...				over 4 years ago
Merge pull request #43 from erydo/rm-dupe	Derek Elkins	More...				over 4 years ago
Merge branch 'rm-dupe'	Robert Estelle	More...				almost 5 years ago
Merge branch 'rm-dupe'	Robert Estelle	More...				almost 5 years ago
Use "let" instead of executing manually escaped command	Robert Estelle	More...				almost 5 years ago
Factor out redundant statusline setting	Robert Estelle	More...				almost 5 years ago
Set basic commentstring/comments/autoindent opts	Robert Estelle	More...				almost 5 years ago
Add very broad set of matchpairs	Robert Estelle	More...				almost 5 years ago
Set iskeyword option and 'syntax iskeyword'	Robert Estelle	More...				almost 5 years ago
Convert vim boolean argument types	Robert Estelle	More...				almost 5 years ago
Use vim.vars instead of vim.eval("g:...")	Robert Estelle	More...				almost 5 years ago
Move python definitions into its own file	Robert Estelle	More...				almost 5 years ago
Expose python functions to vim automatically	Robert Estelle	More...				almost 5 years ago

←
1
2
3
4
→