summaryrefslogtreecommitdiff
path: root/tex/thesis
AgeCommit message (Expand)Author
2012-11-02Add remote target in Makefile, and contributionCarlo Zancanaro
2012-10-30Commit some stuff to move between computers.Carlo Zancanaro
2012-10-17More work on the thesis itself.Carlo Zancanaro
2012-10-17Get rid of extra files produced during LaTeX compilation.Carlo Zancanaro
2012-10-16Doop doop doop. Some contribution writing stuff.Carlo Zancanaro
2012-10-15Some bug fixes for the solver....Still doesn't work in clang, though. Carlo Zancanaro
2012-09-10Thesis updating.Carlo Zancanaro
2012-09-05Something, something. Thesis!Carlo Zancanaro
2012-08-07Initial thesis stuff. No content, though.Carlo Zancanaro