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
..
biology
electronics	Updating gtkwave	2010-01-21 09:49:06 +00:00
geometry/drgeo
logic	Add HOL Light and its dependencies.	2010-02-15 11:00:02 +00:00
math	pkgs/applications/science/math/maxima: updated to version 5.20.1	2010-01-12 21:39:23 +00:00
xplanet	* Build on GCC 4.4.	2010-01-26 15:27:18 +00:00