| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| 00_index.html | 619 B | 1995-Sep-11 00:07 | |
| 00_index.txt | 100 B | 1995-Sep-10 22:43 | |
| README | 975 B | 1995-May-22 23:48 | |
| refman.dvi.gz | 149.6 KiB | 1995-Aug-15 21:50 | |
| refman001.gz | 70.0 KiB | 1995-Aug-15 21:53 | |
| refman002.gz | 67.8 KiB | 1995-Aug-15 21:53 | |
| refman003.gz | 67.4 KiB | 1995-Aug-15 21:53 | |
| refman004.gz | 63.8 KiB | 1995-Aug-15 21:53 | |
| refman005.gz | 50.8 KiB | 1995-Aug-15 21:53 | |