![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| INDEX | 1994-07-27 13:50 | 560 | |
| README.src | 1994-07-04 10:38 | 4.0K | |
| pl1.bin.tar.gz | 1994-07-04 10:37 | 800K | |
| pl1.demo.tar.gz | 1994-07-04 10:37 | 621K | |
| pl1.diff.gz | 1994-07-04 10:37 | 11K | |
| pl1.doc.ascii.tar.gz | 1994-07-04 10:37 | 123K | |
| pl1.doc.ps.tar.gz | 1994-07-04 10:37 | 1.7M | |
| pl1.doc.src.tar.gz | 1994-07-04 10:37 | 854K | |
| pl1.src.tar.gz | 1994-07-04 10:37 | 1.8M | |
| pl2.diff.absolute.gz | 1994-07-27 13:52 | 35K | |
| pl2.diff.relative.gz | 1994-07-27 13:52 | 25K | |