Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
def_umlaut.tex 1993-07-20 00:00 1.5K
![[ ]](/icons/compressed.gif){kind=icon}
tie-2.4.tar.gz 1993-07-20 00:00 22K
![[ ]](/icons/unknown.gif){kind=icon}
htx2tex.doc 1993-08-19 00:00 1.0K
![[ ]](/icons/binary.gif){kind=icon}
htx2tex.exe 1993-08-19 00:00 4.8K
lexikon.exe 1993-08-19 00:00 63K
sihyphen.tex 1993-08-19 00:00 53K
worttab.htx 1993-08-19 00:00 53K
![[DIR]](/icons/folder.gif){kind=icon}
INPUTS3.14/ 1999-10-20 09:25 -
INPUTS3.141/ 1999-10-20 09:25 -
INST_BER/ 1999-10-20 09:25 -