![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| verbar.tex | 1992-09-27 08:00 | 1.0K | |
| uktug2.tex | 1992-09-27 08:00 | 13K | |
| tug10.tex | 1992-09-27 08:00 | 2.7K | |
| tl9-1.tex | 1992-09-27 08:00 | 1.5K | |
| texline.tex | 1992-09-27 08:00 | 3.9K | |
| texline.hed | 1992-09-27 08:00 | 1.2K | |
| tex89.tex | 1992-09-27 08:00 | 1.6K | |
| stock.hlm | 1992-09-27 08:00 | 3.9K | |
| sort.tex | 1992-09-27 08:00 | 6.1K | |
| small.leo | 1992-09-27 08:00 | 265 | |
| sdouble.tex | 1992-09-27 08:00 | 707 | |
| rca.tex | 1992-09-27 08:00 | 15K | |
| quote.tex | 1992-09-27 08:00 | 358 | |
| qq2.tex | 1992-09-27 08:00 | 386 | |
| post.tex | 1992-09-27 08:00 | 4.2K | |
| ntg.tex | 1992-09-27 08:00 | 7.5K | |
| nordic.tex | 1992-09-27 08:00 | 12K | |
| meeting.tex | 1992-09-27 08:00 | 6.1K | |
| lion.tex | 1992-09-27 08:00 | 873 | |
| lino.tex | 1992-09-27 08:00 | 2.3K | |
| gut.tex | 1992-09-27 08:00 | 16K | |
| good.guy | 1992-09-27 08:00 | 3.5K | |
| gberg0.tex | 1992-09-27 08:00 | 2.7K | |
| editor.tex | 1992-09-27 08:00 | 577 | |
| dvi.tex | 1992-09-27 08:00 | 18K | |
| durham.tex | 1992-09-27 08:00 | 13K | |
| diary.tex | 1992-09-27 08:00 | 4.0K | |
| dante.tex | 1992-09-27 08:00 | 2.9K | |
| courses.tex | 1992-09-27 08:00 | 4.5K | |
| cop.com | 1992-09-27 08:00 | 2.0K | |
| biblio.tex | 1992-09-27 08:00 | 23K | |
| adrian.tex | 1992-09-27 08:00 | 4.7K | |