../ gpl.texinfo 31-Oct-1993 01:01 18K tex3patch 31-Oct-1993 01:01 1762 texinfo.tex 31-Oct-1993 01:01 130K