ArchConfig
/
emacs
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
emacs/snippets/coq-mode/propositions/parameter.yasnippet

7 lines
102 B
Plaintext
Raw Permalink Blame History

# -*- mode: snippet -*-
# key: Param
# group: propositions
# name: Parameters
# --
Parameter $1 : $0.
Reference in New Issue View Git Blame Copy Permalink