../ dvilj4/ 20-Oct-1999 07:25 - dvips/ 03-Apr-2000 10:04 - dviwin/ 08-Jun-2001 10:11 - psbook/ 20-Oct-1999 07:25 - xdvi-dos/ 20-Oct-1999 07:25 - double.zip 01-Feb-1995 00:00 21681 dvibook.zip 14-Oct-1994 00:00 29282 dvicon.zip 14-Oct-1994 00:00 28010 dvidvi.zip 14-Oct-1994 00:00 14796 dviselec.zip 14-Oct-1994 00:00 30290 pccrude.zoo 14-Oct-1994 00:00 91057