ArchConfig/emacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Files
main
emacs/snippets/coq-mode/tactics
History
yannickreiss a711247971 init
2024-04-30 07:08:23 +02:00
..
case.yasnippet
init
2024-04-30 07:08:23 +02:00
destruct.yasnippet
init
2024-04-30 07:08:23 +02:00
induction.yasnippet
init
2024-04-30 07:08:23 +02:00
rename.yasnippet
init
2024-04-30 07:08:23 +02:00
rewrite-left.yasnippet
init
2024-04-30 07:08:23 +02:00
rewrite-right.yasnippet
init
2024-04-30 07:08:23 +02:00
rewrite.yasnippet
init
2024-04-30 07:08:23 +02:00