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
..
bvi	Nix-expr style review	2008-01-31 10:41:04 +00:00
eclipse	* eclipse-classic -> eclipse.	2009-11-20 15:33:06 +00:00
ed	GNU Ed 1.4.	2009-07-14 21:59:16 +00:00
elvis	Adding elvis, although I can't see the characters in an xterm with black background	2009-04-16 19:28:42 +00:00
emacs-22	* Bring back Emacs 22 by request from Ludovic.	2009-11-22 16:29:15 +00:00
emacs-23	emacs-23: hacky fix to libXaw linker errors on MacOS X	2009-10-02 13:57:26 +00:00
emacs-modes	Add HOL Light and its dependencies.	2010-02-15 11:00:02 +00:00
emacs-snapshot	Fix typos	2009-09-17 10:26:55 +00:00
jedit	* Move jedit to editors/jedit.	2008-06-04 11:48:11 +00:00
joe	meta.homepage added to several packages	2008-01-31 10:41:45 +00:00
kile	Upgraded kile to 2.0.3	2009-04-12 16:08:13 +00:00
leksah	Version bump for leksah.	2009-08-10 12:43:30 +00:00
monodevelop	* Got rid of a lot of "postInstall=postInstall" and similar lines in	2009-04-23 13:31:10 +00:00
monodoc	* Got rid of a lot of "postInstall=postInstall" and similar lines in	2009-04-23 13:31:10 +00:00
nano	update to 2.2.1	2009-12-24 21:37:18 +00:00
nedit	* Got rid of a lot of "postInstall=postInstall" and similar lines in	2009-04-23 13:31:10 +00:00
nvi	adding alsa-plugin and patching alsa so that you can tell it about additional plugins	2009-09-20 21:54:23 +00:00
vim	Made the small vim (attribute 'vim') have --enable-multibyte. Not that a luxurious	2009-10-12 14:29:07 +00:00
zile	GNU Zile 2.3.13.	2009-11-01 20:55:14 +00:00