| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Upgrade Isabelle proof assistant to version 2012 | Marco Maggesi | 2012-09-04 |
| * | * "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless | Eelco Dolstra | 2012-01-18 |
| * | Update url for Isabelle2011 | Marco Maggesi | 2011-11-26 |
| * | Fix building of Isabelle2011 | Marco Maggesi | 2011-05-14 |
| * | Update Isabelle to an existing tarball... | Michael Raskin | 2011-04-20 |
| * | Fix settings patch for Isabelle | Michael Raskin | 2010-12-01 |
| * | Update Isabelle | Michael Raskin | 2010-12-01 |
| * | svn path=/nixpkgs/trunk/; revision=22880 | Eelco Dolstra | 2010-08-02 |
| * | Add expression for Isabelle2009 | Marco Maggesi | 2009-12-11 |