log docs/Instructions/Instructions.tex @ 1232:bf8716341ed6

age author description
Tue, 23 Feb 2016 17:57:21 +0000 Nicholas Jillings Merge
Fri, 19 Feb 2016 16:08:54 +0100 Brecht De Man Minor changes to instructions, demo page, and test examples