From 414923f874093c2fb09b8a92693aed91df0784ed Mon Sep 17 00:00:00 2001 From: JSDurand Date: Mon, 6 Dec 2021 22:58:08 +0800 Subject: * org-conf.el (org-structure-template-alist): proof template. --- org-conf.el | 1 + 1 file changed, 1 insertion(+) (limited to 'org-conf.el') diff --git a/org-conf.el b/org-conf.el index 22b7c45..f964d3c 100644 --- a/org-conf.el +++ b/org-conf.el @@ -43,6 +43,7 @@ (add-to-list 'org-structure-template-alist (cons "g" "src durand-greek")) (add-to-list 'org-structure-template-alist (cons "el" "src emacs-lisp")) +(add-to-list 'org-structure-template-alist (cons "pf" "proof")) ;; (add-to-list 'org-modules 'ol-gnus) ;;; Keys -- cgit v1.2.3-18-g5258