1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-30 01:20:40 +00:00
nixpkgs/pkgs/applications/editors/emacs-modes
Marco Maggesi 218bdaf214 Add expression for ProofGeneral
svn path=/nixpkgs/trunk/; revision=18904
2009-12-11 16:18:27 +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
jdee JDEE: Update. 2009-08-21 08:43:07 +00:00
magit Renamed "magit-mode" to "magit", which is the upstream package name anyway. 2009-06-27 13:28:39 +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 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 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