JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
18,601 Commits 2 Branches 0 Tags 13 GiB
7f3aa94399
Commit Graph

101 Commits

Author SHA1 Message Date
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