../ dvilj4/ 20-Oct-1999 12:55 - dvips/ 03-Apr-2000 15:34 - dviwin/ 08-Jun-2001 15:41 - psbook/ 20-Oct-1999 12:55 - xdvi-dos/ 20-Oct-1999 12:55 - double.zip 01-Feb-1995 05:30 21K dvibook.zip 14-Oct-1994 05:30 29K dvicon.zip 14-Oct-1994 05:30 27K dvidvi.zip 14-Oct-1994 05:30 14K dviselec.zip 14-Oct-1994 05:30 30K pccrude.zoo 14-Oct-1994 05:30 89K