| Commit message (Expand) | Author | Age | Files | Lines |
* | Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, EAPI... |  Mark Wright | 2012-03-25 | 1 | -0/+1 |
* | Bump agda to 2.3.0 bug #349460 |  Mark Wright | 2012-01-23 | 1 | -0/+3 |
* | Emacs and dependencies fixes, thanks to ulm, bug #249360. Removed -j1 since p... |  Sebastien Fabbro | 2008-12-05 | 1 | -2/+8 |
* | Reassigning to sci from math-proof. |  Christian Heim | 2007-07-31 | 1 | -1/+1 |
* | Added haskell herd and removed myself as maintainer. |  Alexandre Buisse | 2007-03-25 | 1 | -4/+1 |
* | Initial commit |  Alexandre Buisse | 2006-07-12 | 1 | -0/+9 |