HOL-Theorem-Prover/HOL

emacs mode: package the lisp code for it to be released in a package archive

Opened this issue · 1 comments

maybe it will help to package hol-mode.el and release it on elpa/melpa/nongnu or what have you. both hol and hol-mode are mature enough, this should require minimal work only.

mn200 commented

Sounds a nice idea!