Ethan Rosenberg wrote:
> I checked, and all I can seem to find is a TAR
> file, which I cannot handle in DOS.
You can untar the file in pretty much every system you can think about, Windows
inclued. Many
programs, e.g. 7-Zip on Windows, handle TARballs.
Then, you'll be able to transfer the files to your DOS machine, either on a
file by file basis, or
within a ZIP file, which you can unpack with pkunzip.
Lionel.
_____________________________________________________________________________
Ne gardez plus qu'une seule adresse mail ! Copiez vos mails vers Yahoo! Mail
_______________________________________________
splint-discuss mailing list
splint-discuss@mail.cs.virginia.edu
http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
