Marco Maggesi bf394d80ec Update url for Isabelle2011 ... svn path=/nixpkgs/trunk/; revision=30574		2011-11-26 18:45:15 +00:00
..
default.nix	Update url for Isabelle2011	2011-11-26 18:45:15 +00:00
settings.patch