The LaTeX files for my master's thesis on Jester