Marco Maggesi bf394d80ec Update url for Isabelle2011 ... svn path=/nixpkgs/trunk/; revision=30574		2011-11-26 18:45:15 +00:00
..
astronomy	gravit: cosmetic	2011-11-08 10:01:14 +00:00
biology
chemistry/avogadro
electronics
geometry
logic	Update url for Isabelle2011	2011-11-26 18:45:15 +00:00
math
misc