jflack
/
yasnippet-snippets
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
yasnippet-snippets/snippets/coq-mode/definitions
History
Peter Urbak 2eac2f8b6f Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
..
definition.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
fixpoint-with.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
fixpoint.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
fun.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
inductive.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00