tidied up 4, done
authorMart Lubbers <mart@martlubbers.net>
Mon, 4 Jan 2016 10:58:27 +0000 (11:58 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 4 Jan 2016 10:58:27 +0000 (11:58 +0100)
commit3a9077acb0c8ca53f7a378956f51129f5ddcf429
tree5c3912c0a0c5fab6aed6b2075053d9babcc09008
parentf3eb67d340f8e00feebef1d58acc854772783337
tidied up 4, done
a2/3.tex
a2/4.tex
a2/pre.tex