diff options
| author | Francesco Mazzoli <f@mazzo.li> | 2013-06-22 17:06:40 +0100 |
|---|---|---|
| committer | Francesco Mazzoli <f@mazzo.li> | 2013-06-22 17:06:40 +0100 |
| commit | ebdf439a201d6fda0780284fc7f49b1f8deb88ab (patch) | |
| tree | 1ebddc3dbb12e9fef81ea885ef2e4b76d6a6a640 /agda.sty | |
| parent | 7e1d2c79545c573617ccedf458ba11bda1cc3eb8 (diff) | |
...
Diffstat (limited to 'agda.sty')
0 files changed, 0 insertions, 0 deletions