Name Last modified Size Description
Parent Directory -
gdisk.eps 17-May-1992 02:00 319
bb.ps 11-Mar-1994 00:00 11K
bb4gs.ps 11-Mar-1994 00:00 14K
rose.eps 08-May-1994 02:00 32K
rosetest.tex 08-May-1994 02:00 446
boxedeps.tex-old 07-Feb-1995 00:00 27K
boxedeps.doc-old 18-Jun-1995 02:00 44K
boxedeps.cfg 28-Aug-1995 02:00 2.6K
boxedeps.sty 19-Nov-1995 00:00 2.1K
boxedeps.doc 20-Nov-1995 00:00 48K
boxedeps.txt 20-Nov-1995 00:00 48K
ReadMe.boxedeps 08-Apr-1996 07:07 846
boxedeps.tex 19-Apr-1996 06:22 33K
Apache/2.2 Server at ftp.ntua.gr Port 80