Emacs-snapshot

  1. Bug #1169981
  2. Comment #3

Comment 3 for bug 1169981

Revision history for this message
Damien Cassou (cassou) wrote :

I won't spend time packaging any emacs mode in the foreseeable future. I advise you to install ProofGeneral locally. Even better, propose an emacs package to http://marmalade-repo.org/.