Combination of ProofGeneral and Org-mode (experimental)
Primary LanguageEmacs Lisp
No issues in this repository yet.