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 |
magit
|
emacs-modes/magit: updated to 1.1.0.0
|
2011-12-26 20:24:59 +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 |