nixpkgs/pkgs/applications/science/logic/isabelle
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