| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Drop old. |   Sergei Trofimovich | 2015-08-02 | 1 | -110/+0 |
| * | Byte-compile the emacs elisp files, to make Mx agda2-type-and-context work, f... |   Mark Wright | 2013-10-19 | 1 | -2/+9 |
| * | Patch agda 2.3.2.1 for haskell-src-exts 1.14 | Mark Wright | 2013-09-13 | 1 | -0/+103 |
GitWeb