author | Francesco Mazzoli <f@mazzo.li> | |
Sat, 22 Jun 2013 16:06:40 +0000 (17:06 +0100) | ||
committer | Francesco Mazzoli <f@mazzo.li> | |
Sat, 22 Jun 2013 16:06:40 +0000 (17:06 +0100) | ||
commit | ebdf439a201d6fda0780284fc7f49b1f8deb88ab | |
tree | 1ebddc3dbb12e9fef81ea885ef2e4b76d6a6a640 | tree | snapshot |
parent | 7e1d2c79545c573617ccedf458ba11bda1cc3eb8 | commit | diff |
Makefile | diff | blob | history | |
final.bib | [new file with mode: 0644] | blob |
final.lagda | [new file with mode: 0644] | blob |
presentation.tex | [new file with mode: 0644] | blob |
thesis.bib | [deleted file] | blob | history |
thesis.lagda | [deleted file] | blob | history |