register
log in
hub.darcs.net
::
vikraman
->
thesis
->
files
Master thesis
root
agda
diagrams
hs
presentation
.latexmkrc
IIT_Kanpur_Logo.svg
Makefile
agda.tex
appendix.tex
background.tex
certificate.png
citations.bib
conclusion.tex
iitkthesis.cls
implementation.tex
introduction.tex
patch-theory.tex
prelude.tex
svg.sty
thesis.tex
files
changes
issues (0)
fork
download .zip
darcs get url
Packs built at 2014-12-26 00:35:27 UTC
