ecb
|
Add ECB, the Emacs Code Browser.
|
2009-07-08 09:01:11 +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 |
jdee
|
Fix JDEE.
|
2010-03-01 17:08:08 +00:00 |
magit
|
magit: fixed download url
|
2011-07-18 13:45:47 +00:00 |
php
|
Emacs PHP mode: packaged. Patch by Karn Kallio.
|
2010-12-21 04:40:38 +00:00 |
proofgeneral
|
ProofGeneral 4.0
|
2011-05-14 20:59:53 +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 |