mirror/nixpkgs - Nix packages collection

Age	Commit message (Collapse)	Author	Files	Lines
2012-09-04	Upgrade Isabelle proof assistant to version 2012	Marco Maggesi	1	-5/+3

2012-01-18	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	Eelco Dolstra	1	-1/+1
	function, so obsolete it. svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
2011-11-26	Update url for Isabelle2011	Marco Maggesi	1	-1/+1
	svn path=/nixpkgs/trunk/; revision=30574
2011-04-20	Update Isabelle to an existing tarball...	Michael Raskin	1	-2/+2
	svn path=/nixpkgs/trunk/; revision=26903
2010-12-01	Update Isabelle	Michael Raskin	1	-2/+2
	svn path=/nixpkgs/trunk/; revision=24950
2010-08-02	svn path=/nixpkgs/trunk/; revision=22880	Eelco Dolstra	1	-2/+1

2009-12-11	Add expression for Isabelle2009	Marco Maggesi	1	-0/+62
	svn path=/nixpkgs/trunk/; revision=18905