nixpkgs/pkgs/applications/editors/emacs-modes
Marco Maggesi 503f04ca54 ProofGeneral 4.0
svn path=/nixpkgs/trunk/; revision=27252
2011-05-14 20:59:53 +00:00
..
bbdb
cedet
cua
ecb
emacs-w3m
emms GNU EMMS: Add dependency on MP3Info. 2010-10-19 13:20:24 +00:00
haskell pkgs/applications/editors/emacs-modes/haskell: updated to version 2.8.0 2010-10-07 13:14:01 +00:00
hol_light Add HOL Light and its dependencies. 2010-02-15 11:00:02 +00:00
htmlize Correct the output directory adding missing prefix "share". 2010-08-24 08:26:48 +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 Magit: Install to $out. 2011-03-26 11:50:01 +00:00
maude pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead 2010-08-26 19:03:52 +00:00
nxml
org org: include more pdf doc, yet failing html-doc and contrib/ 2011-04-12 15:09:30 +00:00
php Emacs PHP mode: packaged. Patch by Karn Kallio. 2010-12-21 04:40:38 +00:00
prolog
proofgeneral ProofGeneral 4.0 2011-05-14 20:59:53 +00:00
quack Quack 0.39. 2010-11-11 22:12:02 +00:00
remember
rudel pkgs/applications/editors/emacs-modes/rudel: added rudel 0.2-4 2010-07-26 13:41:03 +00:00
scala-mode
session-management-for-emacs
stratego