log docs/manual/x253.html @ 583:000381ee2d5c default tip

age author description
Fri, 03 May 2019 20:06:17 -0600 William Astle Update html and pdf documentation in preparation for release