![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/uuencoded.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| clt.dvi | 1994-03-14 16:54 | 10K | |
| jcm-95.dvi | 1995-05-09 15:15 | 8.4K | |
| jcm-96.dvi | 1996-06-18 17:14 | 4.3K | |
| jcm.dvi | 1994-03-14 16:52 | 17K | |
| pratt.dvi | 1994-03-14 16:53 | 2.5K | |
| reading-list.dvi | 1996-06-18 17:15 | 2.8K | |
| reading-list.dvi.uu | 2005-02-26 17:57 | 3.9K | |