Paul Davis Tue, 29 Jun 2004 05:40:48 -0700
something went wrong with "make dist" and the file that was uploaded was abnormally large. it will be corrected around lunchtime (EST) today. sorry for the confusion.
