diff options
| author | Preston Pan <ret2pop@nullring.xyz> | 2026-03-23 17:42:43 -0700 |
|---|---|---|
| committer | Preston Pan <ret2pop@nullring.xyz> | 2026-03-23 17:42:43 -0700 |
| commit | bf3ca86247b6e193ff39bb14e21d46db43689ee2 (patch) | |
| tree | e6a73f3d1f7b52fece741b1dff6269a4e3bc6f9f /yasnippet/org-mode/proof | |
| parent | fa8cc133cb4449b97be021c7e1f374c773e8a347 (diff) | |
new snippets; working on mindmap/config
Diffstat (limited to 'yasnippet/org-mode/proof')
| -rw-r--r-- | yasnippet/org-mode/proof | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/yasnippet/org-mode/proof b/yasnippet/org-mode/proof new file mode 100644 index 0000000..6affa55 --- /dev/null +++ b/yasnippet/org-mode/proof @@ -0,0 +1,7 @@ +# -*- mode: snippet -*- +# name: proof +# key: proof +# -- +#+begin_proof + $0 +#+end_proof
\ No newline at end of file |