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