author | Francesco Mazzoli <f@mazzo.li> | |
Sat, 15 Jun 2013 10:48:12 +0000 (11:48 +0100) | ||
committer | Francesco Mazzoli <f@mazzo.li> | |
Sat, 15 Jun 2013 10:48:12 +0000 (11:48 +0100) | ||
commit | cf00b161aba79b600a069d07870a076303f79de8 | |
tree | 0022a8e2c2107d963a1a33a5b3cb8679cf75997b | tree | snapshot |
parent | 4a595ccd130b5954a103a66f2941ab2ed711ee6a | commit | diff |
agda.sty | [new file with mode: 0644] | blob |