Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
00Index 1992-12-18 12:08 148
changes.eng 1992-12-18 11:53 9.9K
changes.ger 1992-12-18 11:53 11K
help.eng 1992-12-18 11:53 17K
changes.pre 1992-12-18 11:53 17K
help.ger 1992-12-18 11:53 18K
![[ ]](/icons/binary.gif){kind=icon}
delete.exe 1992-12-18 11:53 31K
remove.exe 1992-12-18 11:53 57K
readme.eng 1992-12-18 11:53 88K
readme.ger 1992-12-18 11:53 91K
![[ ]](/icons/compressed.gif){kind=icon}
tex2.zip 1992-12-18 11:53 261K
tex1.zip 1992-12-18 11:53 352K