Name Last modified Size Parent Directory - plain.ch 1993-08-12 07:00 914 lplain.ch 1993-08-12 07:00 856 german.ch 1993-08-12 07:00 2.2K siplain.tex 1993-07-20 07:00 43K silplain.tex 1993-07-20 07:00 47K sigerman.sty 1993-07-20 07:00 18K