Marco Maggesi
d9aa18843b
ProofGeneral: Workaround for bug #458
...
"ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90"
http://proofgeneral.inf.ed.ac.uk/trac/ticket/458
2013-04-23 14:09:10 +02:00
Mathijs Kwik
40502b492d
magit: fix download url
2013-04-22 21:44:04 +02:00
Peter Simons
84ff838780
emacs-prolog-mode: update to version 1.25
2013-04-12 21:33:37 +02:00
Peter Simons
f8faea23f8
emacs-cedet: update to version 1.1 to fix the build
2013-04-06 01:24:46 +02:00
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
Marco Maggesi
7b35dcdc62
ProofGeneral: remove dead code (compatibility with emacs 23).
2013-03-24 23:43:18 +01:00
Mathijs Kwik
208a35558e
emacs-w3m: upgrade to current cvs
2013-03-22 00:00:06 +01:00
Mathijs Kwik
b73b3c9d62
htmlize: upgrade to 1.47
2013-03-22 00:00:06 +01:00
Marco Maggesi
cd3caeaf8f
Update ProofGeneral to version 4.2
2013-03-19 14:49:45 +01:00
Shea Levy
aacca1902c
Merge branch 'upstream-master' into stdenv-updates
2013-02-19 10:09:39 -05:00
Song Wenwu
679150157b
emacs: add "auto-complete-clang-async" mode (aka emacs-clang-complete-async)
2013-02-18 21:06:29 +08:00
Eelco Dolstra
5bb548d2e4
Merge remote-tracking branch 'origin/master' into stdenv-updates
2013-01-17 14:19:14 +01:00
Mathijs Kwik
1f0a6fbf52
htmlize: upgrade to 1.43
2013-01-13 14:30:54 +01:00
Mathijs Kwik
4bd5a8e26d
flymake-cursor: upgrade to 0.1.5
2013-01-13 14:30:54 +01:00
Eelco Dolstra
ab3eeabfed
Rename buildNativeInputs -> nativeBuildInputs
...
Likewise for propagatedBuildNativeInputs, etc. "buildNativeInputs"
sounds like an imperative rather than a noun phrase.
2012-12-28 19:20:09 +01:00
Eelco Dolstra
880ce8da2e
nxml-mode: Remove
...
This package is now part of Emacs itself.
2012-11-23 11:10:30 +01:00
Peter Simons
58b56c268b
graphviz-dot-mode: add version 0.3.3
2012-11-16 18:59:18 +01:00
Peter Simons
964efb4adc
magit: update to version 1.2.0
2012-09-24 13:25:19 +02:00
Mathijs Kwik
da87b2c9bf
emacs: add package "org2blog"
2012-09-09 19:32:27 +02:00
Mathijs Kwik
7bbda346ba
emacs: add package "xml-rpc"
2012-09-09 19:32:14 +02:00
Mathijs Kwik
338e78c7b6
emacs htmlize: upgrade to 1.40
2012-09-09 19:31:54 +02:00
Mathijs Kwik
2b8d80d22d
org-mode: upgrade to 7.9.1
2012-09-04 17:49:31 +02:00
Mathijs Kwik
23f20dcdfe
emacs/sunrise-commander: change to github source
...
previous source replaces itself every now and then and doesn't do versioning
2012-08-29 22:57:57 +02:00
Mathijs Kwik
a5663aee4d
emacs: add "sunrise commander"
2012-08-21 10:33:20 +02:00
Mathijs Kwik
85c88d473b
emacs: add "rect-mark"
2012-08-21 10:33:06 +02:00
Mathijs Kwik
5a146e9cff
emacs: add "color-theme"
2012-08-17 08:55:47 +02:00
Mathijs Kwik
50cc5629af
emacs: add "jade-mode"
2012-08-13 17:50:19 +02:00
Mathijs Kwik
58ccf70f47
it seems fetchgit does not like version tags
...
I think they built ok on my system before, because I nix-prefetch-git'd them.
2012-08-11 11:45:31 +02:00
Mathijs Kwik
b62acd8855
oops typo
2012-08-11 11:34:59 +02:00
Mathijs Kwik
a6f17bd1a9
emacs: add "flymake-cursor"
2012-08-11 09:36:20 +02:00
Mathijs Kwik
7fd5e6d668
emacs: upgrade "haskell-mode" to more recent git version
2012-08-10 08:27:09 +02:00
Mathijs Kwik
c0a455b370
emacs: add "auto-complete" mode
2012-08-10 08:27:09 +02:00
Mathijs Kwik
260650e7e2
emacs: add "coffee-mode"
2012-08-10 08:27:09 +02:00
Mathijs Kwik
d6befca296
emacs/js2-mode: upgrade
2012-08-10 08:27:09 +02:00
Mathijs Kwik
a8be5de82e
emacs: add lorem-ipsum package
2012-08-05 02:16:01 +02:00
Mathijs Kwik
56d30f72da
emacs: add gist package
2012-08-05 02:15:48 +02:00
Mathijs Kwik
ad5c002891
emacs: add gh (github) package
2012-08-05 02:15:34 +02:00
Mathijs Kwik
733b548cd0
emacs: add pcache package
2012-08-05 02:15:11 +02:00
Mathijs Kwik
c700ec276d
emacs: add logito package
2012-08-05 02:14:53 +02:00
Karn Kallio
c89f37078d
Make ProofGeneral build with Emacs 24.
...
svn path=/nixpkgs/trunk/; revision=34485
2012-06-12 21:51:53 +00:00
Florian Friesdorf
20db3374cf
js2-mode-0-20120601
...
svn path=/nixpkgs/trunk/; revision=34484
2012-06-12 21:18:22 +00:00
Peter Simons
68f07e270a
magit: updated to version 1.1.1
...
svn path=/nixpkgs/trunk/; revision=33866
2012-04-20 22:37:30 +00:00
Peter Simons
e58d3914bb
haskell-mode: updated to version 2.8.0.29-g7682f99
...
svn path=/nixpkgs/trunk/; revision=33380
2012-03-23 12:03:23 +00:00
Peter Simons
4f576ac4b5
pkgs/applications/editors/emacs-modes/haskell: updated haskell-mode to the latest version from Github
...
svn path=/nixpkgs/trunk/; revision=33326
2012-03-21 11:46:18 +00:00
Yury G. Kudryashov
0210e20b5a
svn merge ^/nixpkgs/trunk
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=32713
2012-03-01 07:04:39 +00:00
Arie Middelkoop
6e8c9ea906
ocaml-mode for emacs.
...
There seem to exist multiple (very old) versions.
I'm taking the one shipped with the ocaml compiler, which is hopefully the "most appropriate".
svn path=/nixpkgs/trunk/; revision=32688
2012-02-29 12:53:13 +00:00
Yury G. Kudryashov
5144a19987
svn merge ^/nixpkgs/trunk
...
There were a few merge conflicts due to ensureDir->mkdir -p migration
svn path=/nixpkgs/branches/stdenv-updates/; revision=32174
2012-02-10 10:24:30 +00:00
Peter Simons
4afaf0be23
emacs-w3m: updated the SHA256 hash
...
Thanks Ludo!
svn path=/nixpkgs/trunk/; revision=32124
2012-02-07 17:45:47 +00:00
Florian Friesdorf
df12f0bd01
emacs js2-mode
...
svn path=/nixpkgs/trunk/; revision=32122
2012-02-07 17:40:02 +00:00
Florian Friesdorf
f3b60febd3
calfw-1.3-5-ga9b6615 for fix in combination with org-mode
...
svn path=/nixpkgs/trunk/; revision=32119
2012-02-07 17:39:54 +00:00
