projects / bitonic-mengthesis.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e432bd5) | patch
renaming, more stuff
authorFrancesco Mazzoli <f@mazzo.li>
Wed, 16 Jan 2013 17:26:42 +0000 (17:26 +0000)
committerFrancesco Mazzoli <f@mazzo.li>
Wed, 16 Jan 2013 17:26:42 +0000 (17:26 +0000)
commit8aee0ff8e7a2e5d27c5b48b54e27979a5d1651b0
tree18a0985ec67d21738ab283a97dc1cc792e84e9aatree | snapshot
parente432bd5f35a1ac262f0f2734802aa2d4ecb853f6commit | diff
renaming, more stuff
docs/InterimReport.agda [new file with mode: 0644] blob
docs/InterimReport.bib [new file with mode: 0644] blob
docs/InterimReport.tex [new file with mode: 0644] blob
docs/Makefile diff | blob | history
docs/background-notes.org [deleted file] blob | history
docs/background.agda [deleted file] blob | history
docs/background.bib [deleted file] blob | history
docs/background.tex [deleted file] blob | history