projects / bitonic-mengthesis.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b84ae2) | patch
docs top level
authorFrancesco Mazzoli <f@mazzo.li>
Mon, 28 Jan 2013 17:07:12 +0000 (17:07 +0000)
committerFrancesco Mazzoli <f@mazzo.li>
Mon, 28 Jan 2013 17:07:12 +0000 (17:07 +0000)
commitcee737be953cbcee4d78951ad627c75a39a6ae9e
treed72cb8637655eba224c144852dc65ddc285cdebctree | snapshot
parent9b84ae2d392929265af3f764d8e82255a2622267commit | diff
docs top level
InterimReport.agda [new file with mode: 0644] blob
InterimReport.bib [new file with mode: 0644] blob
InterimReport.tex [new file with mode: 0644] blob
Makefile [new file with mode: 0644] blob
docs/InterimReport.agda [deleted file] blob | history
docs/InterimReport.bib [deleted file] blob | history
docs/InterimReport.tex [deleted file] blob | history
docs/Makefile [deleted file] blob | history
docs/idris-proposal.tex [deleted file] blob | history
idris-proposal.tex [new file with mode: 0644] blob