Skip to content

Instantly share code, notes, and snippets.

@donlindsay

donlindsay/*Org Src ow2-rl-axioms.el

Created October 11, 2014 18:53
Show Gist options
  • Save donlindsay/5b97629429d4e95d9632 to your computer and use it in GitHub Desktop.
Save donlindsay/5b97629429d4e95d9632 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
*Org Src ow2-rl-axioms.el
(setq mx-eq-axioms '((mx-eq
. '((eq-ref . '(org-entry-put (point) "EQ" "ref"))
(eq-sym . '(org-entry-put (point) "EQ" "sym"))
(eq-trans . '(org-entry-put (point) "EQ" "trans"))
(eq-rep-s . '(org-entry-put (point) "EQ" "rep-s"))
(eq-rep-p . '(org-entry-put (point) "EQ" "rep-p"))
(eq-rep-o . '(org-entry-put (point) "EQ" "rep-o"))
(eq-diff1 . '(org-entry-put (point) "EQ" "eq-diff1"))
(eq-diff2 . '(org-entry-put (point) "EQ" "eq-diff2"))
(eq-diff3 . '(org-entry-put (point) "EQ" "eq-diff3"))
)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment