Commit graph

571 commits

Author SHA1 Message Date
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
Ludovic Courtès f6533bc527 Emacs-w3m: Substitute `identify' from ImageMagick.
svn path=/nixpkgs/trunk/; revision=16328
2009-07-11 10:30:48 +00:00
Ludovic Courtès 18ef0d1673 emacs-w3m: Fix typo.
svn path=/nixpkgs/trunk/; revision=16325
2009-07-10 17:53:49 +00:00
Ludovic Courtès 45f7159af3 emacs-w3m: Get the source from CVS.
svn path=/nixpkgs/trunk/; revision=16323
2009-07-10 16:01:50 +00:00
Ludovic Courtès 186f62d354 JDEE: Provide a sensible default for `jde-help-docsets'.
svn path=/nixpkgs/trunk/; revision=16320
2009-07-10 14:30:24 +00:00
Ludovic Courtès 059ffb766e JDEE: Fix `jde-help-find-javadoc'.
svn path=/nixpkgs/trunk/; revision=16319
2009-07-10 14:21:26 +00:00
Ludovic Courtès 5c7cc2ffdb JDEE: Fix infinite recursion in `jde-directory-files-recurs'.
svn path=/nixpkgs/trunk/; revision=16318
2009-07-10 14:13:52 +00:00
Ludovic Courtès df646c8ae4 Emacs-w3m: Add ImageMagick as a build input.
svn path=/nixpkgs/trunk/; revision=16288
2009-07-09 16:09:09 +00:00
Ludovic Courtès 2caabd37e1 Add Emacs-w3m, an Emacs interface to the W3M web browser.
svn path=/nixpkgs/trunk/; revision=16287
2009-07-09 15:56:40 +00:00
Ludovic Courtès d490682e3b Remove Semantic and EIEIO, now part of CEDET.
svn path=/nixpkgs/trunk/; revision=16283
2009-07-09 15:29:14 +00:00
Ludovic Courtès e8bd387f04 jdee: More Java path fixes.
svn path=/nixpkgs/trunk/; revision=16251
2009-07-08 14:20:46 +00:00
Ludovic Courtès bf5141245f jdee: Improve (fix?) Emacs 23 `avl-tree' compatibility.
svn path=/nixpkgs/trunk/; revision=16250
2009-07-08 13:56:08 +00:00
Ludovic Courtès 845a74db93 jdee: Fix path to the Java files.
svn path=/nixpkgs/trunk/; revision=16249
2009-07-08 13:23:32 +00:00
Ludovic Courtès ea808c50ce Add ECB, the Emacs Code Browser.
svn path=/nixpkgs/trunk/; revision=16234
2009-07-08 09:01:11 +00:00
Ludovic Courtès df4a8eafde Add JDEE, the Java development environment for Emacs.
svn path=/nixpkgs/trunk/; revision=16222
2009-07-07 16:13:45 +00:00
Ludovic Courtès 7519caa4f4 Quack 0.36.
svn path=/nixpkgs/trunk/; revision=16068
2009-06-27 21:05:43 +00:00
Peter Simons 0ee475b7f9 Renamed "magit-mode" to "magit", which is the upstream package name anyway.
svn path=/nixpkgs/trunk/; revision=16067
2009-06-27 13:28:39 +00:00
Peter Simons b12683e174 Added magit-mode 0.7, an Emacs mode for managing Git repositories.
svn path=/nixpkgs/trunk/; revision=16042
2009-06-25 14:31:20 +00:00
Marc Weber 3a9bfe866c adding small emacs session mode packages remembering inputs
svn path=/nixpkgs/trunk/; revision=15318
2009-04-26 11:06:54 +00:00
Ludovic Courtès fb9ace2e56 CEDET: Run the test suite the right way.
svn path=/nixpkgs/trunk/; revision=14318
2009-03-03 19:45:04 +00:00
Eelco Dolstra fcad0b0a5a * Cleaned up a lot of description fields that contained newlines.
Some of these should be longDescriptions, but most others just
  shouldn't contain newlines.  E.g. write

    description = "Bla";

  and not

    description = ''
      Bla
    '';

  This pollutes "nix-env -qa --description" output.

svn path=/nixpkgs/trunk/; revision=14310
2009-03-03 13:27:40 +00:00
Ludovic Courtès fd93dfbe9d CEDET 1.0pre6.
svn path=/nixpkgs/trunk/; revision=14298
2009-03-02 15:11:54 +00:00
Ludovic Courtès 38dd615de3 CEDET: Fix installation.
svn path=/nixpkgs/trunk/; revision=14250
2009-02-25 21:12:13 +00:00
Ludovic Courtès a7cf0b2f02 Add CEDET, the umbrella project for Semantic and EIEIO.
svn path=/nixpkgs/trunk/; revision=14240
2009-02-25 14:30:50 +00:00
Ludovic Courtès eebb6f106c Add Semantic, a parser generator for Emacs.
svn path=/nixpkgs/trunk/; revision=14012
2009-02-09 08:48:49 +00:00
Ludovic Courtès 8eb6ecb1ec Add EIEIO, a CLOS clone for Emacs.
svn path=/nixpkgs/trunk/; revision=14011
2009-02-09 08:34:25 +00:00
Eelco Dolstra aa84bce64d * Get rid of all references to nix.cs.uu.nl.
svn path=/nixpkgs/trunk/; revision=13299
2008-11-14 16:57:19 +00:00
Ludovic Courtès 61f18ebe83 Quack: Update hash to the current version.
svn path=/nixpkgs/trunk/; revision=13008
2008-10-08 18:01:24 +00:00
Eelco Dolstra 5d9dfc1e60 * Removed $installCommand, it's no longer needed since we split the
install and fixup phases.  You can just override installPhase.

svn path=/nixpkgs/trunk/; revision=12787
2008-09-02 13:51:32 +00:00
Ludovic Courtès 4162dfe9c5 EMMS: Default to the libtag info back-end for MP3s.
svn path=/nixpkgs/trunk/; revision=12683
2008-08-21 14:56:57 +00:00
Ludovic Courtès d4e5ed0596 Add EMMS, the Emacs Multimedia System.
svn path=/nixpkgs/trunk/; revision=12675
2008-08-21 08:58:51 +00:00
Peter Simons b1cdb57a77 maude-mode: new package
svn path=/nixpkgs/trunk/; revision=12361
2008-07-15 14:53:07 +00:00
Peter Simons c4b77fbd37 haskell-mode: updated to version 2.4
Pass emacs package to this expression so that we can byte-compile the
lisp files.

svn path=/nixpkgs/trunk/; revision=12301
2008-07-07 11:49:57 +00:00
Ludovic Courtès 4c87a1d285 Remember: Fix tiny things.
svn path=/nixpkgs/trunk/; revision=11680
2008-04-22 09:07:34 +00:00
Ludovic Courtès 7ea8e8a363 Add Remember, an Emacs mode to remember things.
svn path=/nixpkgs/trunk/; revision=11655
2008-04-18 14:27:42 +00:00
Ludovic Courtès b936188ce8 Add Quack, an Emacs mode for Scheme.
svn path=/nixpkgs/trunk/; revision=11388
2008-03-31 12:22:39 +00:00
Ludovic Courtès c9c4108a7d BBDB: Install Emacs Lisp code to `$out/share/emacs/site-lisp'; install documentation.
svn path=/nixpkgs/trunk/; revision=10769
2008-02-20 11:16:59 +00:00
Ludovic Courtès 067c7ed0af Install BBDB to `$out/share/emacs/site-lisp'.
svn path=/nixpkgs/trunk/; revision=10767
2008-02-20 10:32:22 +00:00
Ludovic Courtès c54243a009 Add BBDB, Emacs' Insidious Big Brother Database.
svn path=/nixpkgs/trunk/; revision=10625
2008-02-11 17:02:46 +00:00
Eelco Dolstra 6c92badd87 * Added the Emacs Unicode branch (which supposedly will become Emacs
23.x), which GTK and Xft support.  Add something like

    (set-default-font "Bitstream Vera Sans Mono-8")

  to ~/.emacs to get a TTF font.

svn path=/nixpkgs/trunk/; revision=7841
2007-02-05 14:55:15 +00:00