cedet
|
CEDET: Run the test suite the right way.
|
2009-03-03 19:45:04 +00:00 |
cua
|
* Get rid of all references to nix.cs.uu.nl.
|
2008-11-14 16:57:19 +00:00 |
ecb
|
Add ECB, the Emacs Code Browser.
|
2009-07-08 09:01:11 +00:00 |
emms
|
EMMS: Default to the libtag info back-end for MP3s.
|
2008-08-21 14:56:57 +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 |
nxml
|
* Get rid of all references to nix.cs.uu.nl.
|
2008-11-14 16:57:19 +00:00 |
proofgeneral
|
Add expression for ProofGeneral
|
2009-12-11 16:18:27 +00:00 |
quack
|
Quack 0.37.
|
2009-07-24 12:41:47 +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 |