% name : PPCHTEX / english interface % version : 1997.03.05 % author : J. Hagen % copyright : J. Hagen, A.F. Otten \chardef\interfacenumber=1 \input ppchtex.noc \endinput