log dottes.tex @ 784:747cb0ac35df

age author description
Wed, 25 Apr 2018 23:34:18 +0100 Jim Hague Update thanks.
Wed, 11 Oct 2017 18:09:51 +0100 Jim Hague Use full title in printed version.