Ludovic Courtès 82c1349503 Proof General: Build and install via the makefile. ... svn path=/nixpkgs/trunk/; revision=22162		2010-06-06 22:39:28 +00:00
..
bbdb	* Cleaned up a lot of description fields that contained newlines.	2009-03-03 13:27:40 +00:00
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
emacs-w3m	Emacs-w3m: Substitute `identify' from ImageMagick.	2009-07-11 10:30:48 +00:00
emms	EMMS: Default to the libtag info back-end for MP3s.	2008-08-21 14:56:57 +00:00
haskell	pkgs/applications/editors/emacs-modes/haskell/default.nix: updated to version 2.6.1	2009-11-04 10:29:38 +00:00
hol_light	Add HOL Light and its dependencies.	2010-02-15 11:00:02 +00:00
jabber	applications/editors/emacs-modes/jabber: New nixbuild.	2010-05-16 20:32:21 +00:00
jdee	Fix JDEE.	2010-03-01 17:08:08 +00:00
magit	pkgs/applications/editors/emacs-modes/magit: bumped to 0.8 release	2010-05-12 09:09:55 +00:00
maude	maude-mode: new package	2008-07-15 14:53:07 +00:00
nxml	* Get rid of all references to nix.cs.uu.nl.	2008-11-14 16:57:19 +00:00
prolog	pkgs/applications/editors/emacs-modes/prolog: initial version of prolog-mode for Emacs	2009-11-27 17:40:56 +00:00
proofgeneral	Proof General: Build and install via the makefile.	2010-06-06 22:39:28 +00:00
quack	Quack 0.37.	2009-07-24 12:41:47 +00:00
remember	Remember: Fix tiny things.	2008-04-22 09:07:34 +00:00
scala-mode	Add Emacs Scala-Mode.	2009-10-20 15:12:29 +00:00
session-management-for-emacs	adding small emacs session mode packages remembering inputs	2009-04-26 11:06:54 +00:00
stratego	* stratego-mode for emacs	2009-09-01 14:27:24 +00:00