![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| INDEX | 2019-04-08 13:01 | 1.1K | |
| aug96/ | 2019-04-08 13:03 | - | |
| gsh.ltr.ps.Z | 2019-04-08 13:01 | 81K | |
| intro.a4.ps.Z | 2019-04-08 13:01 | 121K | |
| intro.dvi.Z | 2019-04-08 13:01 | 44K | |
| intro.ltr.ps.Z | 2019-04-08 13:01 | 121K | |
| kern.a4.ps.Z | 2019-04-08 13:01 | 126K | |
| kern.dvi.Z | 2019-04-08 13:01 | 60K | |
| kern.ltr.ps.Z | 2019-04-08 13:01 | 126K | |