nixpkgs/pkgs/applications/editors/emacs-modes
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
cedet
cua
ecb
emacs-w3m
emms
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
nxml
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
remember
scala-mode
session-management-for-emacs
stratego