jflack
/
yasnippet-snippets
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
yasnippet-snippets/snippets/coq-mode/misc
History
Peter Urbak 2eac2f8b6f Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
..
forall.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
if.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
infix.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
match.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
notation.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00
require.yasnippet Adds snippets for coq-mode 2019-10-06 22:09:59 +02:00