cedet
CEDET: Run the test suite the right way.
2009-03-03 19:45:04 +00:00
ecb
Add ECB, the Emacs Code Browser.
2009-07-08 09:01:11 +00:00
emacs-w3m
emacs-w3m: updated the SHA256 hash
2012-02-07 17:45:47 +00:00
emms
GNU EMMS: Add dependency on MP3Info.
2010-10-19 13:20:24 +00:00
hol_light
Add HOL Light and its dependencies.
2010-02-15 11:00:02 +00:00
htmlize
emacs htmlize: fix of broken source url.
2012-01-24 22:06:35 +00:00
jdee
Fix JDEE.
2010-03-01 17:08:08 +00:00
js2
emacs js2-mode
2012-02-07 17:40:02 +00:00
magit
emacs-modes/magit: updated to 1.1.0.0
2011-12-26 20:24:59 +00:00
ocaml
ocaml-mode for emacs.
2012-02-29 12:53:13 +00:00
org
org-7.8.03
2012-01-21 18:29:06 +00:00
php
Emacs PHP mode: packaged. Patch by Karn Kallio.
2010-12-21 04:40:38 +00:00
proofgeneral
ProofGeneral 4.1
2011-12-13 01:13:46 +00:00
quack
Quack 0.39.
2010-11-11 22:12:02 +00:00
scala-mode
Add Emacs Scala-Mode.
2009-10-20 15:12:29 +00:00
stratego
* stratego-mode for emacs
2009-09-01 14:27:24 +00:00