Pascal Wittmann
5b542ec902
org: update from 8.2.8 to 8.2.10
2014-10-28 12:47:09 +01:00
karsten gebbert
3071a57c34
Add hsc3 haskell package.
2014-10-26 16:22:29 +01:00
Peter Simons
b31ac058cc
magit: don't install lisp files into a "magit" sub-directory
...
After this change, Emacs can load the magit-*.el files without further
configuration. Just add
(require 'magit-autoloads)
to ~/.emacs, and run M-x magit-status or any other magit command.
2014-10-22 13:06:43 +02:00
Peter Simons
dba01b2e77
magit: update to the latest release from Melpa
2014-10-22 11:46:56 +02:00
Peter Simons
3b4a72c3d6
git-modes: add git-modes package version 0.15.0-8-g4e10851 for Emacs
...
These files are required by the latest version of Magit.
2014-10-22 11:46:56 +02:00
Mateusz Kowalczyk
917c1638bf
emacs-magit: fix URL (hopefully)
2014-10-21 22:40:28 +01:00
Mateusz Kowalczyk
2026054746
emacs-magit: update to 1.2.1
2014-10-21 20:21:11 +01:00
Pascal Wittmann
806d2aa68c
org-mode: update from 8.2.7c to 8.2.8
2014-10-03 11:23:08 +02:00
Mateusz Kowalczyk
ce4ae2aa1e
Merge pull request #4305 from vbgl/coq-containers
...
Working with Coq
2014-09-30 15:04:30 +01:00
Mateusz Kowalczyk
f04b0b9879
emacs24Packages.tuaregMode: update from 2.0.6 to 2.0.8
2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
3043af8838
emacs24Packages.rainbowDelimiters: update from 1.3.8 to 1.3.12
2014-09-30 10:56:11 +01:00
Mateusz Kowalczyk
9d246d2cff
emacs24Packages.structuredHaskellMode: update from 1.0.3 to 1.0.4
2014-09-30 10:56:11 +01:00
Vincent Laporte
94828070ed
ProofGeneral: makes the dependency on TeXLive optional
...
And fixes the default value of $PGHOME
2014-09-28 14:03:15 +01:00
cillianderoiste
1b8d79e0b2
Merge pull request #4143 from geerds/cask
...
Add "cask" package
2014-09-19 13:23:28 +02:00
Jascha Geerds
771d1bd865
Add "cask" package
2014-09-18 00:46:45 +02:00
Peter Simons
6f819ef4f4
emacs-ensime: depend on scala-mode2 and sbt-mode
2014-09-06 13:30:44 +02:00
Peter Simons
1e92a86240
emacs-rainbow-delimiters: add version 1.3.8
2014-09-06 13:30:44 +02:00
Peter Simons
7f5bc10186
emacs-ensime: add current git snapshot
2014-09-05 16:06:16 +02:00
Peter Simons
e8bff6f838
emacs-s: add version 1.9.0
2014-09-05 16:06:16 +02:00
Peter Simons
a4ec7a6316
emacs-dash: add version 1.5.0
2014-09-05 16:06:16 +02:00
Peter Simons
309851f999
scala-mode2: update to latest version
2014-09-05 16:06:16 +02:00
Mathijs Kwik
0e1ed7bbc9
fix js2-mode revision
2014-08-25 13:56:53 +02:00
Mathijs Kwik
fb2449c026
add emacs color-theme solarized
2014-08-25 13:56:53 +02:00
Mathijs Kwik
3be7d4b478
idris-mode: upgrade to 0.9.14
2014-08-25 13:56:52 +02:00
Vladimír Čunát
52d9c93abe
Merge 'staging' into master
2014-08-08 20:13:23 +02:00
Eelco Dolstra
8a7f3c3618
Mark a bunch of packages as broken or not supported on Darwin
2014-08-08 17:59:02 +02:00
Peter Simons
9226fbf56a
Merge remote-tracking branch 'origin/master' into staging.
2014-08-08 09:51:01 +02:00
Peter Simons
2d326e5032
Merge remote-tracking branch 'origin/master' into staging.
...
Conflicts:
pkgs/desktops/e18/enlightenment.nix
2014-08-04 16:51:47 +02:00
Aycan iRiCAN
307a08c9a3
removed rev
2014-08-03 21:21:52 +03:00
Aycan iRiCAN
02dcf1e493
Upgrade js2-mod to 20140114
2014-08-03 21:20:26 +03:00
Pascal Wittmann
cf744cb715
org: update from 8.2.7b to 8.2.7c
2014-07-30 12:14:15 +02:00
Peter Simons
d0ca8c237e
Fix broken license references.
2014-07-28 11:43:20 +02:00
Mateusz Kowalczyk
7a45996233
Turn some license strings into lib.licenses values
2014-07-28 11:31:14 +02:00
Eelco Dolstra
f64d84698e
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/applications/audio/espeak/edit.nix
pkgs/applications/audio/lmms/default.nix
pkgs/desktops/e18/enlightenment.nix
pkgs/games/exult/default.nix
pkgs/os-specific/linux/alsa-plugins/default.nix
2014-07-28 11:30:49 +02:00
Moritz Ulrich
e4f978d09f
bbdb3: New package.
2014-07-27 10:55:43 +02:00
Eelco Dolstra
7f410ef923
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/misc/vim-plugins/default.nix
2014-07-22 11:00:00 +02:00
Pascal Wittmann
70caf388eb
org: update from 8.2.7 to 8.2.7b
2014-07-17 12:20:22 +02:00
Eelco Dolstra
95b828de42
Merge remote-tracking branch 'origin/master' into staging
2014-07-07 13:16:26 +02:00
cillianderoiste
00cb266c4f
Merge pull request #3163 from pSub/writegood-mode
...
Update writegood-mode from 1.3 to 2.0
2014-07-02 14:15:10 +02:00
Pascal Wittmann
da8b931738
Update writegood-mode from 1.3 to 2.0
2014-07-02 13:03:01 +02:00
Eelco Dolstra
06fc1ec34d
Merge remote-tracking branch 'origin/master' into staging
...
Conflicts:
pkgs/servers/serfdom/default.nix
2014-07-01 11:25:41 +02:00
Eelco Dolstra
40f7b0f9df
Another attempt to eradicate ensureDir
...
See c556a6ea46
2014-06-30 14:56:10 +02:00
John Wiegley
bf610b79ff
structured-haskell-mode: 1.0.2 > 1.0.3
2014-06-28 09:23:22 -07:00
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
John Wiegley
bfe77718d4
emacs-modes-emms, emacs-modes-org: Relax platform qualifier
2014-06-20 22:37:09 -07:00
John Wiegley
073933101e
proofgeneral: Delete default.nix for proofgeneral
2014-06-20 22:36:06 -07:00
John Wiegley
0cf6e55a70
proofgeneral_4_3_pre: Add expression needed for current prooftree
2014-06-20 22:31:55 -07:00
Austin Seipp
85c70f642f
Merge pull request #2977 from bluescreen303/emacs-org2blog
...
Emacs org2blog - bring up to date - now works with org-8.* again
2014-06-18 16:21:02 -05:00
John Wiegley
4643126d10
Merge pull request #2938 from pSub/org-mode
...
Org-mode 8.2.7 depends on texlive-cm-super.
2014-06-18 09:42:12 -07:00
Mathijs Kwik
ff995adb0d
emacs-idris-mode: upgrade to 0.9.13.1
2014-06-16 22:43:51 +02:00
