Re: [Axiom-developer] Minor bugs

[root]

Bill,

First make a .input file that contains these test cases
and add it to the src/input subdir and Makefile.pamhlet.

Yes, please apply them to axiom--main and axiom--windows.
After applying the patches we need to do a complete rebuild
from the tla sources (be sure you download them fresh from
the archive as I've been burned in the past by assuming that
my copy was clean).

Let me know 
 (a) when the patches are applied (i'll also test them here)
 (b) when the rebuilds are cleanly compiled and the .input passes

at which point we can tag the axiom--main build and push it to
savannah.

t