We continued reading about and learning Java, Perl, and Html. We also
continued translating the tester.cc program to Java, and have begun designing
the changes in the Perl script that will create the Java tester program.
Started converting set class bset.cc to Java for the first possible
test case, since we already have the axioms for this class. Discussed
writing other test cases. Starting thinking of and planning other test
cases, including another (hopefully) correct class, and some incorrect
classes in order to test what would happen when the Tester finds axioms
that do not test out correctly.
Created 02/23/98 by preston.