summaryrefslogtreecommitdiff
path: root/tex/thesis
AgeCommit message (Collapse)Author
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.Carlo Zancanaro
Still doesn't work in clang, though.
2012-09-10Thesis updating.Carlo Zancanaro
2012-09-05Something, something. Thesis!Carlo Zancanaro
2012-08-07Initial thesis stuff. No content, though.Carlo Zancanaro