2 commits

Author	SHA1	Message	Date
Eelco Dolstra	cc84ac9e84	svn path=/nixpkgs/trunk/; revision=22880	2010-08-02 16:01:55 +00:00
Marco Maggesi	98aaa4421c	Add expression for Isabelle2009 ... svn path=/nixpkgs/trunk/; revision=18905	2009-12-11 17:00:52 +00:00