jflack/yasnippet-snippets
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
yasnippet-snippets/snippets/coq-mode
History
Peter Urbak 2eac2f8b6f Adds snippets for coq-mode
2019-10-06 22:09:59 +02:00
..
definitions Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
lookup Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
misc Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
propositions Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
tactics Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00