Files
emacs/snippets/coq-mode/lookup/print.yasnippet
2024-04-30 07:08:23 +02:00

8 lines
81 B
Plaintext

# -*- mode: snippet -*-
# key: P
# group: lookup
# name: Print
# --
Print $1.
$0