log docs/lyx/intro.lyx~ @ 42:792da050d8c4 tip

age author description
Tue, 22 Apr 2014 14:25:14 +0100 james more dox default tip
Tue, 22 Apr 2014 00:21:59 +0100 james more docs and last minute bug fixes
Fri, 18 Apr 2014 18:58:58 +0100 james couple of last minute bug fixes