Name                    Last modified       Size  Description

 Parent Directory        29-Nov-2002 18:14      -  
 didot.tex               27-Sep-1992 00:00     1k  
 late.tex                27-Sep-1992 00:00     1k  
 toc.tex                 27-Sep-1992 00:00     1k  
 verbar.tex              27-Sep-1992 00:00     1k  
 texline.head            27-Sep-1992 00:00     1k  
 ridt91.tex              27-Sep-1992 00:00     1k  
 dante91.tex             27-Sep-1992 00:00     1k  
 12.tex                  27-Sep-1992 00:00     1k  
 uktexug.tex             27-Sep-1992 00:00     1k  
 good_guys.tex           27-Sep-1992 00:00     2k  
 epu.tex                 27-Sep-1992 00:00     2k  
 sources.tex             27-Sep-1992 00:00     3k  
 call.tex                27-Sep-1992 00:00     3k  
 aston.tex               27-Sep-1992 00:00     3k  
 cahiers6.tex            27-Sep-1992 00:00     3k  
 hubert.tex              27-Sep-1992 00:00     4k  
 gut.tex                 27-Sep-1992 00:00     4k  
 dek.tex                 27-Sep-1992 00:00     4k  
 newtwo.tex              27-Sep-1992 00:00     5k  
 texline.tex             27-Sep-1992 00:00     6k  
 peter.tex               27-Sep-1992 00:00     6k  
 chemist.tex             27-Sep-1992 00:00    10k  
 victor.tex              27-Sep-1992 00:00    13k  
 nico.tex                27-Sep-1992 00:00    26k