/pg-org

Combination of ProofGeneral and Org-mode (experimental)

Primary LanguageEmacs Lisp

Stargazers