public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/applications/editors/emacs-modes
History
Karn Kallio 135fe9059f ProofGeneral 4.1 
svn path=/nixpkgs/trunk/; revision=30863
2011-12-13 01:13:46 +00:00
..
bbdb
pkgs/applications/editors/emacs-modes/bbdb: replace custom build script with standard builder
2011-07-07 21:04:56 +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
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: fixed download url
2011-07-18 13:45:47 +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
* Get rid of all references to nix.cs.uu.nl.
2008-11-14 16:57:19 +00:00
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
pkgs/applications/editors/emacs-modes/prolog: initial version of prolog-mode for Emacs
2009-11-27 17:40:56 +00:00
proofgeneral
ProofGeneral 4.1
2011-12-13 01:13:46 +00:00
quack
Quack 0.39.
2010-11-11 22:12:02 +00:00
remember
Remember: Fix tiny things.
2008-04-22 09:07:34 +00:00
rudel
pkgs/applications/editors/emacs-modes/rudel: added rudel 0.2-4
2010-07-26 13:41:03 +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