Fix package - Githubissues

Ailrun / coq-commenter

Coq commenter for Emacs

GNU General Public License v3.0

6 stars 2 forks source link

Closed syohex closed 8 years ago

syohex commented 8 years ago

Add autoload cookie for lazy loading
Don't wrap lambda function because lambda function cannot be removed by remove-hook