projects / bitonic-mengthesis.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e0a8c0) | patch
more stuff
authorFrancesco Mazzoli <f@mazzo.li>
Tue, 15 Jan 2013 15:26:37 +0000 (15:26 +0000)
committerFrancesco Mazzoli <f@mazzo.li>
Tue, 15 Jan 2013 15:26:37 +0000 (15:26 +0000)
commit30ed12635896ab8acbd2115802ab5c5f583a2a59
treeba47d53ad20cae2dbdceaafe60c7e50f8b69cb4ftree | snapshot
parent2e0a8c0e91f79984bc988bdb98678ee3c3b213e6commit | diff
more stuff
docs/Makefile diff | blob | history
docs/background.agda [new file with mode: 0644] blob
docs/background.bib diff | blob | history
docs/background.tex diff | blob | history