Marco Maggesi 98aaa4421c Add expression for Isabelle2009 ... svn path=/nixpkgs/trunk/; revision=18905		2009-12-11 17:00:52 +00:00
..
biology
electronics
geometry/drgeo
logic	Add expression for Isabelle2009	2009-12-11 17:00:52 +00:00
math	pkgs/applications/science/math/wxmaxima/default.nix: cosmetic changes	2009-10-29 12:53:22 +00:00
xplanet	Added XPlanet support to kdeedu-4.3.1, not that is an essential feature but it looks cool :-)	2009-09-11 14:06:51 +00:00