nixpkgs/pkgs/applications/editors/emacs-modes
Peter Simons 58211c125a Merge pull request #407 from maggesi/proofgeneral_updates
Update ProofGeneral to version 4.2
2013-03-25 03:33:21 -07:00
..
auto-complete emacs: add "auto-complete" mode 2012-08-10 08:27:09 +02:00
bbdb
calfw
cedet
coffee emacs: add "coffee-mode" 2012-08-10 08:27:09 +02:00
color-theme emacs: add "color-theme" 2012-08-17 08:55:47 +02:00
cua
ecb
emacs-clang-complete-async emacs: add "auto-complete-clang-async" mode (aka emacs-clang-complete-async) 2013-02-18 21:06:29 +08:00
emacs-w3m emacs-w3m: upgrade to current cvs 2013-03-22 00:00:06 +01:00
emms
flymake-cursor flymake-cursor: upgrade to 0.1.5 2013-01-13 14:30:54 +01:00
gh it seems fetchgit does not like version tags 2012-08-11 11:45:31 +02:00
gist emacs: add gist package 2012-08-05 02:15:48 +02:00
graphviz-dot graphviz-dot-mode: add version 0.3.3 2012-11-16 18:59:18 +01:00
haskell emacs: upgrade "haskell-mode" to more recent git version 2012-08-10 08:27:09 +02:00
hol_light
htmlize htmlize: upgrade to 1.47 2013-03-22 00:00:06 +01:00
jabber
jade emacs: add "jade-mode" 2012-08-13 17:50:19 +02:00
jdee
js2 emacs/js2-mode: upgrade 2012-08-10 08:27:09 +02:00
logito it seems fetchgit does not like version tags 2012-08-11 11:45:31 +02:00
lorem-ipsum emacs: add lorem-ipsum package 2012-08-05 02:16:01 +02:00
magit magit: update to version 1.2.0 2012-09-24 13:25:19 +02:00
maude
ocaml
org Rename buildNativeInputs -> nativeBuildInputs 2012-12-28 19:20:09 +01:00
org2blog emacs: add package "org2blog" 2012-09-09 19:32:27 +02:00
pcache it seems fetchgit does not like version tags 2012-08-11 11:45:31 +02:00
php
prolog
proofgeneral ProofGeneral: remove dead code (compatibility with emacs 23). 2013-03-24 23:43:18 +01:00
quack
rect-mark emacs: add "rect-mark" 2012-08-21 10:33:06 +02:00
remember
rudel
scala-mode
session-management-for-emacs
stratego
sunrise-commander emacs/sunrise-commander: change to github source 2012-08-29 22:57:57 +02:00
xml-rpc emacs: add package "xml-rpc" 2012-09-09 19:32:14 +02:00