Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
rhlocal.tex 1992-08-26 02:00 501
ruled.tex 1992-08-26 02:00 2.7K
solicit.tex 1992-08-26 02:00 2.8K
read.me 1992-08-26 02:00 3.4K
example1.tex 1992-08-26 02:00 7.3K
txsruled.tex 1992-08-26 02:00 19K
txs.doc 1992-08-26 02:00 23K
ltman.tex 1992-08-26 02:00 68K
lextex.tex 1992-08-26 02:00 118K