total 262
drwxrwxr-x   3 Mr.Ftp   server       512 Jun  4 09:13 .
drwxrwxr-x 134 Mr.Ftp   server      2560 Jun 12 09:20 ..
-rw-rw-r--   1 Mr.Ftp   server      1165 Jul 18  1996 00Description
-rw-rw-r--   1 Mr.Ftp   server      1088 Apr  6  1994 INSTALL
-rw-rw-r--   1 Mr.Ftp   server       359 Apr  6  1994 README
drwxrwxr-x   3 Mr.Ftp   server       512 Apr 24  1998 ps-type1
-rw-rw-r--   1 Mr.Ftp   server      2704 Apr  6  1994 stmary10.mf
-rw-rw-r--   1 Mr.Ftp   server      2701 Apr  6  1994 stmary5.mf
-rw-rw-r--   1 Mr.Ftp   server      2701 Apr  6  1994 stmary6.mf
-rw-rw-r--   1 Mr.Ftp   server      2702 Apr  6  1994 stmary7.mf
-rw-rw-r--   1 Mr.Ftp   server      2701 Apr  6  1994 stmary8.mf
-rw-rw-r--   1 Mr.Ftp   server      2701 Apr  6  1994 stmary9.mf
-rw-rw-r--   1 Mr.Ftp   server     40419 Apr  6  1994 stmaryaj.mf
-rw-rw-r--   1 Mr.Ftp   server      4939 Apr  6  1994 stmaryba.mf
-rw-rw-r--   1 Mr.Ftp   server      7683 Apr  6  1994 stmarych.mf
-rw-rw-r--   1 Mr.Ftp   server     23548 Apr  6  1994 stmaryjg.mf
-rw-rw-r--   1 Mr.Ftp   server     23462 Jun  4 06:23 stmaryrd.dtx
-rw-rw-r--   1 Mr.Ftp   server      4017 Apr  6  1994 stmaryrd.mf
