log

age author description
Fri, 24 Apr 2020 14:01:03 -0700 David Barts Enable vari-sized headings.
Sat, 18 Apr 2020 09:08:23 -0700 David Barts Add documentation in alternative formats to HTML.
Fri, 17 Apr 2020 10:09:30 -0700 David Barts Makefile for Linux.