yasnippet-snippets/snippets/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