On Wed, 2007-11-07 10:25:26 -0500, Ethan Rosenberg wrote: > At 03:20 AM 11/7/2007, Ludolf Holzheid wrote: >> [..] >> The splint sources are available for download on >> http://www.splint.org. >> [..] > > I checked, and all I can seem to find is a TAR > file, which I cannot handle in DOS.
Hi Ethan, Can't you use the box your Eudora is running on (or any other box running Windows or Unix) to unzip the tgz? Ludolf -- --------------------------------------------------------------- Ludolf Holzheid Tel: +49 621 339960 Bihl+Wiedemann GmbH Fax: +49 621 3392239 Floßwörthstraße 41 e-mail: [EMAIL PROTECTED] D-68199 Mannheim, Germany --------------------------------------------------------------- _______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
