nixpkgs/pkgs/applications/science
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 big breaking change: renaming lib.getAttr to lib.attrByPath 2009-05-24 10:57:41 +00:00
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