Yury G. Kudryashov
84c0185038
svn merge ^/nixpkgs/trunk, one simple conflict in jruby
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=31721
2012-01-19 21:31:51 +00:00
Peter Simons
db009e0eb8
emacs org-mode: upgraded to latest version
...
svn path=/nixpkgs/trunk/; revision=31645
2012-01-18 20:32:10 +00:00
Eelco Dolstra
c556a6ea46
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
...
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
2012-01-18 20:16:00 +00:00
Peter Simons
1d7bc50e9a
emacs-modes/magit: updated to 1.1.0.0
...
svn path=/nixpkgs/trunk/; revision=31106
2011-12-26 20:24:59 +00:00
Karn Kallio
135fe9059f
ProofGeneral 4.1
...
svn path=/nixpkgs/trunk/; revision=30863
2011-12-13 01:13:46 +00:00
Peter Simons
f80ef6645b
magit: fixed download url
...
svn path=/nixpkgs/trunk/; revision=27821
2011-07-18 13:45:47 +00:00
Peter Simons
ea4daca60d
pkgs/applications/editors/emacs-modes/bbdb: replace custom build script with standard builder
...
Also added most of optional contributions shipped in the release tarball to the
installation.
svn path=/nixpkgs/trunk/; revision=27646
2011-07-07 21:04:56 +00:00
Marco Maggesi
503f04ca54
ProofGeneral 4.0
...
svn path=/nixpkgs/trunk/; revision=27252
2011-05-14 20:59:53 +00:00
Florian Friesdorf
ce249b627b
org: include more pdf doc, yet failing html-doc and contrib/
...
contrib is added as profile/share/org/contrib, better ideas
welcome. profile/share/doc/org-7.5/contrib could be an option but then
one needs to adjust personal emacs config to point to the new
contrib/lisp dir with each upgrade.
svn path=/nixpkgs/trunk/; revision=26805
2011-04-12 15:09:30 +00:00
Florian Friesdorf
f1b0d532b2
org: added myself as maintainer as I intend to help looking after it
...
svn path=/nixpkgs/trunk/; revision=26804
2011-04-12 12:28:42 +00:00
Florian Friesdorf
dc5e18f626
emacs org mode 7.4 -> 7.5
...
svn path=/nixpkgs/trunk/; revision=26803
2011-04-12 12:28:37 +00:00
Ludovic Courtès
fe5b564e6b
Magit: Install to $out.
...
svn path=/nixpkgs/trunk/; revision=26524
2011-03-26 11:50:01 +00:00
Peter Simons
1dbbeeab2c
magit: updated to version 1.0.0
...
svn path=/nixpkgs/trunk/; revision=26515
2011-03-25 12:59:09 +00:00
Ludovic Courtès
7c88378532
Org 7.4.
...
svn path=/nixpkgs/trunk/; revision=25484
2011-01-10 09:55:28 +00:00
Eelco Dolstra
c14382cb45
* Sync with the trunk.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=25225
2010-12-21 15:14:33 +00:00
Evgeny Egorochkin
9b4c2f5f56
Emacs PHP mode: packaged. Patch by Karn Kallio.
...
svn path=/nixpkgs/trunk/; revision=25216
2010-12-21 04:40:38 +00:00
Ludovic Courtès
08d9437bce
Quack 0.39.
...
svn path=/nixpkgs/branches/stdenv-updates/; revision=24670
2010-11-11 22:12:02 +00:00
Ludovic Courtès
57ed005e24
GNU EMMS: Add dependency on MP3Info.
...
svn path=/nixpkgs/trunk/; revision=24365
2010-10-19 13:20:24 +00:00
Peter Simons
789c12add5
pkgs/applications/editors/emacs-modes/haskell: updated to version 2.8.0
...
svn path=/nixpkgs/trunk/; revision=24136
2010-10-07 13:14:01 +00:00
Peter Simons
48ecb667ab
pkgs/applications/editors/emacs-modes/haskell: added meta section
...
svn path=/nixpkgs/trunk/; revision=24134
2010-10-07 13:13:42 +00:00
Peter Simons
c66aa309be
pkgs/applications/editors/emacs-modes/magit: updated to version 0.8.2
...
svn path=/nixpkgs/trunk/; revision=23697
2010-09-09 16:06:34 +00:00
Ludovic Courtès
78adb9fbf1
org-mode: Pass the full path to which'; use
callPackage'.
...
svn path=/nixpkgs/trunk/; revision=23657
2010-09-06 07:58:13 +00:00
Peter Simons
62021d80dc
pkgs/applications/editors/emacs-modes/maude: the "official" maude mode is crap; use the one from sourceforge instead
...
svn path=/nixpkgs/trunk/; revision=23471
2010-08-26 19:03:52 +00:00
Peter Simons
687c9ddb3e
pkgs/applications/editors/emacs-modes/maude: updated to version 2
...
svn path=/nixpkgs/trunk/; revision=23468
2010-08-26 18:19:19 +00:00
Peter Simons
8b2437156b
Correct the output directory adding missing prefix "share".
...
svn path=/nixpkgs/trunk/; revision=23383
2010-08-24 08:26:48 +00:00
Peter Simons
14760d869b
Add Nix expression for Emacs mode htmlize.
...
svn path=/nixpkgs/trunk/; revision=23382
2010-08-24 08:25:51 +00:00
Peter Simons
d137679f20
pkgs/applications/editors/emacs-modes/rudel: added rudel 0.2-4
...
A collaborative editing environment for GNU Emacs.
svn path=/nixpkgs/trunk/; revision=22733
2010-07-26 13:41:03 +00:00
Ludovic Courtès
f497701642
Add upstream Org-Mode.
...
svn path=/nixpkgs/trunk/; revision=22693
2010-07-22 08:59:12 +00:00
Peter Simons
cc6c486560
pkgs/applications/editors/emacs-modes/haskell: updated to version 2.7.0
...
svn path=/nixpkgs/trunk/; revision=22679
2010-07-20 14:53:35 +00:00
Ludovic Courtès
82c1349503
Proof General: Build and install via the makefile.
...
svn path=/nixpkgs/trunk/; revision=22162
2010-06-06 22:39:28 +00:00
Alexander Tsamutali
03d8babdf5
applications/editors/emacs-modes/jabber: New nixbuild.
...
svn path=/nixpkgs/trunk/; revision=21806
2010-05-16 20:32:21 +00:00
Peter Simons
55a322022c
pkgs/applications/editors/emacs-modes/magit: bumped to 0.8 release
...
svn path=/nixpkgs/trunk/; revision=21737
2010-05-12 09:09:55 +00:00
Ludovic Courtès
f19a35aeeb
Magit: Latest version.
...
The tarball at crypt.to had vanished, and hopefully `fetchgit' over HTTP
will work for everyone.
svn path=/nixpkgs/trunk/; revision=21722
2010-05-11 14:56:28 +00:00
Peter Simons
47e93b4177
pkgs/applications/editors/emacs-modes/magit: fixed cut&paste error in name attribute
...
Thanks, Eelco!
svn path=/nixpkgs/trunk/; revision=20780
2010-03-23 12:29:21 +00:00
Peter Simons
bba9ecdbac
pkgs/applications/editors/emacs-modes/magit: updated to version 0.7-109-g0fc3980
...
svn path=/nixpkgs/trunk/; revision=20779
2010-03-23 11:56:44 +00:00
Peter Simons
cab868b9a3
pkgs/applications/editors/emacs-modes/magit: download tarball from cryp.to
...
The idea of downloading the source code tarball directly from gitorious.org was
great, but didn't work. Apparently, those tarballs have different checksums
every time they're generated. To remedy the situation, I've copied the proper
tarball statically to <http://cryp.to/magit-mainline-0.7-94-gbf42bf8.tar.gz >.
svn path=/nixpkgs/trunk/; revision=20653
2010-03-16 12:51:45 +00:00
Peter Simons
b6d6f301c4
pkgs/applications/editors/emacs-modes/magit: updated to version magit-0.7-94-gbf42bf8
...
Magit has seen plenty of development since version 0.7, but for some reason
there haven't been any new releases. This version bump updates the expression to
build a current version of Magit directly from the Git repository.
This change adds buildInputs 'autoconf' and 'automake'. These tools are required
only because we aren't building from a proper release tarball. Once version 0.8
comes out, these dependencies can be dropped again.
svn path=/nixpkgs/trunk/; revision=20650
2010-03-16 12:13:40 +00:00
Ludovic Courtès
f1fcbc0fc9
Fix JDEE.
...
The SVN history has apparently been modified in place.
svn path=/nixpkgs/trunk/; revision=20313
2010-03-01 17:08:08 +00:00
Marco Maggesi
513d653d68
Add HOL Light and its dependencies.
...
Add pkgs/applications/science/logic/hol_light
and pkgs/applications/science/emacs-modes/hol_light
Some functionalities of HOL Light requires the compiled sources of
OCaml. For now we provide a new package ocaml_with_sources. After
this shuold be merged with the current version of OCaml already
present in nixpkgs.
svn path=/nixpkgs/trunk/; revision=20008
2010-02-15 11:00:02 +00:00
Marco Maggesi
218bdaf214
Add expression for ProofGeneral
...
svn path=/nixpkgs/trunk/; revision=18904
2009-12-11 16:18:27 +00:00
Peter Simons
af0a961e3d
pkgs/applications/editors/emacs-modes/prolog: initial version of prolog-mode for Emacs
...
svn path=/nixpkgs/trunk/; revision=18675
2009-11-27 17:40:56 +00:00
Peter Simons
3659747127
pkgs/applications/editors/emacs-modes/haskell/default.nix: updated to version 2.6.1
...
svn path=/nixpkgs/trunk/; revision=18089
2009-11-04 10:29:38 +00:00
Ludovic Courtès
be6b6b73f9
Add Emacs Scala-Mode.
...
svn path=/nixpkgs/trunk/; revision=17904
2009-10-20 15:12:29 +00:00
Rob Vermaas
f016a6bcbc
* stratego-mode for emacs
...
svn path=/nixpkgs/trunk/; revision=16910
2009-09-01 14:27:24 +00:00
Ludovic Courtès
a56fecb102
JDEE: Update.
...
svn path=/nixpkgs/trunk/; revision=16797
2009-08-21 08:43:07 +00:00
Ludovic Courtès
7f22bca190
Quack 0.37.
...
svn path=/nixpkgs/trunk/; revision=16453
2009-07-24 12:41:47 +00:00
Ludovic Courtès
3451ae1a64
JDEE: Augment `jde-help-docsets.patch'; actually use it.
...
svn path=/nixpkgs/trunk/; revision=16413
2009-07-17 14:22:02 +00:00
Ludovic Courtès
13e3c0d7b9
JDEE: Don't install non-JAR files under `lib/java'.
...
svn path=/nixpkgs/trunk/; revision=16403
2009-07-16 15:39:05 +00:00
Ludovic Courtès
82c5ea7bc6
JDEE: Install bsh commands.
...
svn path=/nixpkgs/trunk/; revision=16402
2009-07-16 15:21:15 +00:00
Ludovic Courtès
e4d8c334b4
JDEE: Add wizard usability patch.
...
svn path=/nixpkgs/trunk/; revision=16395
2009-07-16 14:05:14 +00:00