log

age author description
Sun, 04 Sep 2016 17:14:42 -0400 David A. Holland Add a -debuglog option to send an execution trace to a file.
Sat, 05 Dec 2015 18:08:24 -0500 David A. Holland CHANGES for previous
Sat, 05 Dec 2015 18:07:58 -0500 David A. Holland fix typo in error message; noted by Joerg