Marco Maggesi 218bdaf214 Add expression for ProofGeneral ... svn path=/nixpkgs/trunk/; revision=18904		2009-12-11 16:18:27 +00:00
..
bbdb
cedet
cua
ecb
emacs-w3m	Emacs-w3m: Substitute `identify' from ImageMagick.	2009-07-11 10:30:48 +00:00
emms
haskell	pkgs/applications/editors/emacs-modes/haskell/default.nix: updated to version 2.6.1	2009-11-04 10:29:38 +00:00
jdee	JDEE: Update.	2009-08-21 08:43:07 +00:00
magit
maude
nxml
prolog	pkgs/applications/editors/emacs-modes/prolog: initial version of prolog-mode for Emacs	2009-11-27 17:40:56 +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
remember
scala-mode	Add Emacs Scala-Mode.	2009-10-20 15:12:29 +00:00
session-management-for-emacs
stratego	* stratego-mode for emacs	2009-09-01 14:27:24 +00:00