![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| texput.log | 1999-03-02 09:25 | 198 | |
| tex-file.sh | 1999-03-02 09:25 | 44 | |
| re-tex | 1999-03-02 09:25 | 277 | |
| psets.texinfo | 1999-03-02 09:25 | 2.9K | |
| psets.info | 1999-03-02 09:25 | 2.0K | |
| galaxy_toc.html | 1999-03-02 09:25 | 4.5K | |
| galaxy_foot.html | 1999-03-02 09:25 | 1.3K | |
| galaxy.vrs | 1999-03-02 09:25 | 0 | |
| galaxy.vr | 1999-03-02 09:25 | 0 | |
| galaxy.tps | 1999-03-02 09:25 | 0 | |
| galaxy.tp | 1999-03-02 09:25 | 0 | |
| galaxy.toc | 1999-03-02 09:25 | 2.4K | |
| galaxy.texinfo | 1999-03-02 09:25 | 70K | |
| galaxy.ps | 1999-03-02 09:25 | 604K | |
| galaxy.pgs | 1999-03-02 09:25 | 0 | |
| galaxy.pg | 1999-03-02 09:25 | 0 | |
| galaxy.log | 1999-03-02 09:25 | 3.2K | |
| galaxy.kys | 1999-03-02 09:25 | 194 | |
| galaxy.ky | 1999-03-02 09:25 | 205 | |
| galaxy.info-2 | 1999-03-02 09:25 | 20K | |
| galaxy.info-1 | 1999-03-02 09:25 | 48K | |
| galaxy.info | 1999-03-02 09:25 | 1.0K | |
| galaxy.html | 1999-03-02 09:25 | 72K | |
| galaxy.fns | 1999-03-02 09:25 | 138 | |
| galaxy.fn | 1999-03-02 09:25 | 161 | |
| galaxy.dvi | 1999-03-02 09:25 | 119K | |
| galaxy.cps | 1999-03-02 09:25 | 2.1K | |
| galaxy.cp | 1999-03-02 09:25 | 3.2K | |
| galaxy.aux | 1999-03-02 09:25 | 3.4K | |
| galaxy-old.dvi | 1999-03-02 09:25 | 114K | |
| dir | 1999-03-02 09:25 | 1.0K | |
| TUTORIAL | 1999-03-02 09:25 | 33K | |
| Oldmanual/ | 1999-03-02 09:25 | - | |