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 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
calfw calfw-1.3-5-ga9b6615 for fix in combination with org-mode 2012-02-07 17:39:54 +00:00
cedet * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
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 * Get rid of all references to nix.cs.uu.nl. 2008-11-14 16:57:19 +00:00
ecb * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
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 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
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 * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
htmlize htmlize: upgrade to 1.47 2013-03-22 00:00:06 +01:00
jabber applications/editors/emacs-modes/jabber: New nixbuild. 2010-05-16 20:32:21 +00:00
jade emacs: add "jade-mode" 2012-08-13 17:50:19 +02:00
jdee * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
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 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
ocaml ocaml-mode for emacs. 2012-02-29 12:53:13 +00:00
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 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: remove dead code (compatibility with emacs 23). 2013-03-24 23:43:18 +01:00
quack * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
rect-mark emacs: add "rect-mark" 2012-08-21 10:33:06 +02:00
remember Remember: Fix tiny things. 2008-04-22 09:07:34 +00:00
rudel * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
scala-mode * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
session-management-for-emacs * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless 2012-01-18 20:16:00 +00:00
stratego * stratego-mode for emacs 2009-09-01 14:27:24 +00:00
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