log

age author description
Thu, 07 May 2020 08:30:56 -0700 David Barts Merge commit.
Thu, 07 May 2020 08:29:58 -0700 David Barts Add help menu item, UNTESTED.
Mon, 04 May 2020 18:37:34 -0700 David Barts Merged changes.
Mon, 04 May 2020 18:12:59 -0700 David Barts Is it finally generating decent PDF's?
Mon, 04 May 2020 11:06:44 -0700 David Barts Rename so it doesn't look like an M$ word file.
Mon, 04 May 2020 11:06:14 -0700 David Barts Doc tweaks.
Sun, 03 May 2020 17:36:50 -0700 David Barts Work around a launch4j bug.