# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1372668632 -3600
# Node ID 629e7c0fa4893c3fc2946b1d7f52648ceb4ffe91
# Parent  d84867127c5dca85fb3f1dbc3605818c83d9f952
just typeset

diff -r d84867127c5d -r 629e7c0fa489 progtutorial.pdf
Binary file progtutorial.pdf has changed