GitHub - vjovanov/dissertation: My PhD dissertation.

Name		Name	Last commit message	Last commit date
Latest commit History 70 Commits
diagrams		diagrams
fonts		fonts
head		head
images		images
lineno		lineno
main		main
tail		tail
utopia_font		utopia_font
.gitignore		.gitignore
Makefile		Makefile
bcprules.sty		bcprules.sty
clean-make.sh		clean-make.sh
dissertation.sublime-project		dissertation.sublime-project
dissertation.sublime-workspace		dissertation.sublime-workspace
lineno.sty		lineno.sty
math.sty		math.sty
mathpartir.sty		mathpartir.sty
minted.sty		minted.sty
phd.pdf		phd.pdf
phd.tex		phd.tex
prooftree.sty		prooftree.sty