This website requires JavaScript.
Explore
Help
Sign In
ArchConfig
/
emacs
Watch
2
Star
0
Fork
You've already forked emacs
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
main
emacs
/
snippets
/
coq-mode
/
tactics
/
destruct.yasnippet
6 lines
96 B
Plaintext
Raw
Permalink
Blame
History
# -*- mode: snippet -*-
# key: des
# group: tactics
# name: destruct
# --
destruct $1 as [ $0 ].
Reference in New Issue
View Git Blame
Copy Permalink