Name                    Last modified       Size  Description

 Parent Directory        29-Nov-2002 18:14      -  
 fontmemo.tex            27-Sep-1992 00:00    45k  
 mont.real               27-Sep-1992 00:00    22k  
 rept.tex                27-Sep-1992 00:00    17k  
 rhfmt.tex               27-Sep-1992 00:00    16k  
 larry3.tex              27-Sep-1992 00:00    14k  
 oddtypes.tex            27-Sep-1992 00:00    11k  
 bnb.tex                 27-Sep-1992 00:00    10k  
 roger.tex               27-Sep-1992 00:00    10k  
 maria.tex               27-Sep-1992 00:00     8k  
 sgml-review.tex         27-Sep-1992 00:00     7k  
 bcs.display             27-Sep-1992 00:00     7k  
 st.tex                  27-Sep-1992 00:00     6k  
 review.tex              27-Sep-1992 00:00     6k  
 pole.tex                27-Sep-1992 00:00     6k  
 alien.tex               27-Sep-1992 00:00     6k  
 resolution.tex          27-Sep-1992 00:00     5k  
 more.sgm                27-Sep-1992 00:00     5k  
 ero.tex                 27-Sep-1992 00:00     4k  
 announce.tex            27-Sep-1992 00:00     4k  
 fontmemo.refs           27-Sep-1992 00:00     4k  
 pounds.tex              27-Sep-1992 00:00     3k  
 snip.tex                27-Sep-1992 00:00     3k  
 green.tex               27-Sep-1992 00:00     3k  
 salton.tex              27-Sep-1992 00:00     3k  
 texline.tex             27-Sep-1992 00:00     3k  
 fallen.tex              27-Sep-1992 00:00     3k  
 chris.tex               27-Sep-1992 00:00     2k  
 euro.tex                27-Sep-1992 00:00     2k  
 texlinehead.tex         27-Sep-1992 00:00     1k  
 first.tex               27-Sep-1992 00:00     1k  
 thanks.tex              27-Sep-1992 00:00     1k  
 verbar.tex              27-Sep-1992 00:00     1k  
 late.news               27-Sep-1992 00:00     1k  
 gut.tex                 27-Sep-1992 00:00     1k  
 sdouble.tex             27-Sep-1992 00:00     1k  
 backnumber.tex          27-Sep-1992 00:00     1k  
 second.tex              27-Sep-1992 00:00     1k