Marco Maggesi
|
286d068b37
|
Upgrade Isabelle proof assistant to version 2012
|
2012-09-04 14:34:31 +02:00 |
|
Eelco Dolstra
|
c556a6ea46
|
* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless
function, so obsolete it.
svn path=/nixpkgs/branches/stdenv-updates/; revision=31644
|
2012-01-18 20:16:00 +00:00 |
|
Marco Maggesi
|
bf394d80ec
|
Update url for Isabelle2011
svn path=/nixpkgs/trunk/; revision=30574
|
2011-11-26 18:45:15 +00:00 |
|
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 |
|