Marco Maggesi df21c86e08 Improve hol_light: ... * Upgrade hol_light to the latest svn version on google code (r57). * Improve and semplify the mechanism for the generation of checkpointed binaries. * Make hol to work with camlp5 and thus with recent version of ocaml (>=3.10, <=3.11). * Remove ocaml_with_sources which is not needed anymore. svn path=/nixpkgs/trunk/; revision=23685		2010-09-08 13:07:45 +00:00
..
biology	* More cleanup.	2010-07-28 18:01:17 +00:00
electronics	Fixing the catalan locale for kicad (it had the wrong encoding written)	2010-08-31 09:24:49 +00:00
geometry	Adding tetgen	2010-08-12 10:59:05 +00:00
logic	Improve hol_light:	2010-09-08 13:07:45 +00:00
math	pkgs/applications/science/math/maxima: use a correct license tag	2010-08-26 17:57:14 +00:00
misc	ViTE from SVN.	2010-07-22 09:01:42 +00:00
xplanet	* Build on GCC 4.4.	2010-01-26 15:27:18 +00:00