projects / bitonic-mengthesis.git / commit
| 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 |