Marco Maggesi
|
8e5beab31f
|
Fix building of Isabelle2011
svn path=/nixpkgs/trunk/; revision=27253
|
2011-05-14 21:09:57 +00:00 |
|
|
Michael Raskin
|
b4faf64bae
|
Update Isabelle to an existing tarball...
svn path=/nixpkgs/trunk/; revision=26903
|
2011-04-20 12:24:34 +00:00 |
|
|
Michael Raskin
|
373fabf1c0
|
Fix settings patch for Isabelle
svn path=/nixpkgs/trunk/; revision=24951
|
2010-12-01 21:29:20 +00:00 |
|
|
Michael Raskin
|
b89881d098
|
Update Isabelle
svn path=/nixpkgs/trunk/; revision=24950
|
2010-12-01 21:25:21 +00:00 |
|
|
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 |
|