From bf3ca86247b6e193ff39bb14e21d46db43689ee2 Mon Sep 17 00:00:00 2001 From: Preston Pan Date: Mon, 23 Mar 2026 17:42:43 -0700 Subject: new snippets; working on mindmap/config --- yasnippet/org-mode/proof | 7 +++++++ yasnippet/org-mode/theorem | 11 +++++++++++ 2 files changed, 18 insertions(+) create mode 100644 yasnippet/org-mode/proof create mode 100644 yasnippet/org-mode/theorem (limited to 'yasnippet/org-mode') 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 diff --git a/yasnippet/org-mode/theorem b/yasnippet/org-mode/theorem new file mode 100644 index 0000000..cb20ccd --- /dev/null +++ b/yasnippet/org-mode/theorem @@ -0,0 +1,11 @@ +# -*- mode: snippet -*- +# name: theorem +# key: theorem +# -- +#+begin_theorem +$1 +#+end_theorem + +#+begin_proof +$0 +#+end_proof \ No newline at end of file -- cgit v1.3