projects / bitonic-mengthesis.git / commit
| author | Francesco Mazzoli <f@mazzo.li> | |
| Sun, 23 Jun 2013 11:08:49 +0000 (12:08 +0100) | ||
| committer | Francesco Mazzoli <f@mazzo.li> | |
| Sun, 23 Jun 2013 11:08:49 +0000 (12:08 +0100) | ||
| commit | d126310824d9f10af2ef1eb4e21a65026abd97e1 | |
| tree | aa04564ceccb70d41f6cf62bcdf7293396f497cf | tree | snapshot |
| parent | ebdf439a201d6fda0780284fc7f49b1f8deb88ab | commit | diff |
| agda.sty | diff | blob | history | |
| presentation.tex | diff | blob | history |