nixpkgs-suyu/pkgs/applications/editors/emacs-modes
John Wiegley 3b267d77a8 Merge pull request #3031 from jwiegley/proofgeneral
proofgeneral_4_3_pre: Add expression needed for current prooftree
2014-06-21 09:22:29 -07:00
..
auto-complete emacs: add "auto-complete" mode 2012-08-10 08:27:09 +02:00
bbdb emacs-bbdb: update to version 2.36 2014-01-21 20:18:27 +01:00
calfw
cedet emacs-cedet: update to version 1.1 to fix the build 2013-04-06 01:24:46 +02:00
coffee More description fixes 2013-10-06 12:01:38 +02:00
color-theme More description fixes 2013-10-06 12:01:38 +02:00
cryptol cryptol-mode: 0.1.0 2014-04-26 12:51:08 -05:00
cua nixos.org/tarballs -> tarballs.nixos.org 2013-06-25 14:12:16 +02:00
darcsum Added darcsum, "a pcl-cvs like interface for managing darcs patches". 2014-01-18 12:25:34 -08:00
ecb unmaintain several packages 2013-08-16 23:45:01 +02:00
emacs-clang-complete-async llvm: Split llvmFull into separate derivations 2014-01-20 20:33:06 -05:00
emacs-w3m Adopt packages. 2014-01-28 17:31:17 +01:00
emms emacs-modes-emms, emacs-modes-org: Relax platform qualifier 2014-06-20 22:37:09 -07:00
ess ess-mode: enable Hydra builds on Linux 2013-12-21 00:05:29 +01:00
flymake-cursor flymake-cursor: the sha256 hash of the file has changed 2014-04-08 12:48:22 +02: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 emacs24Packages.haskellMode: update from 13.07 to 13.10 2014-01-13 17:05:45 +01:00
hol_light hol_light: fix script, upgrade to r189 2014-04-27 13:31:36 -05:00
htmlize More description fixes 2013-10-06 12:01:38 +02:00
idris emacs-idris-mode: upgrade to 0.9.13.1 2014-06-16 22:43:51 +02:00
jabber
jade More description fixes 2013-10-06 12:01:38 +02:00
jdee Replace lib/java -> share/java 2014-01-09 13:01:38 +01: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 More description fixes 2013-10-06 12:01:38 +02:00
magit unmaintain several packages 2013-08-16 23:45:01 +02:00
maude
metaweblog add emacs-metaweblog 2014-06-16 22:43:10 +02:00
ocaml
offlineimap emacs offlineimap mode added 2013-11-12 11:00:58 +01:00
org emacs-modes-emms, emacs-modes-org: Relax platform qualifier 2014-06-20 22:37:09 -07:00
org2blog emacs-org2blog: upgrade to 0.8.1 2014-06-16 22:43:11 +02:00
pcache it seems fetchgit does not like version tags 2012-08-11 11:45:31 +02:00
php Even more mirror:// fixes 2013-07-14 04:17:07 +03:00
prolog emacs-prolog-mode: update to version 1.25 2013-04-12 21:33:37 +02:00
proofgeneral proofgeneral: Delete default.nix for proofgeneral 2014-06-20 22:36:06 -07:00
quack unmaintain several packages 2013-08-16 23:45:01 +02:00
rect-mark More description fixes 2013-10-06 12:01:38 +02:00
remember
rudel
sbt-mode emacs-sbt-mode: add initial version 2014-06-05 14:34:32 +02:00
scala-mode emacs-scala-mode: package version 2 2014-06-05 14:34:31 +02:00
session-management-for-emacs Even more mirror:// fixes 2013-07-14 04:17:07 +03:00
stratego
structured-haskell-mode structured-haskell-mode: re-generate with latest cabal2nix 2014-03-31 23:10:56 +02:00
sunrise-commander More description fixes 2013-10-06 12:01:38 +02:00
tuareg Added tuareg emacs mode and fixed some other emacs mode. 2013-06-08 12:42:46 +02:00
writegood writegood-mode: update to version 1.3 2014-02-13 22:29:34 +01:00
xml-rpc More description fixes 2013-10-06 12:01:38 +02:00