Lluís Batlle i Rossell 0cb7f90cac Adding caneda ... svn path=/nixpkgs/trunk/; revision=24450		2010-10-24 17:01:09 +00:00
..
biology
electronics	Adding caneda	2010-10-24 17:01:09 +00:00
geometry
logic	Update HOL Light to version 20100820 (rev57 on google code).	2010-09-15 21:41:18 +00:00
math	pkgs/applications/science/math/maxima: use a correct license tag	2010-08-26 17:57:14 +00:00
misc
xplanet