psrc.sed

这个是LINUX下的GDB调度工具的源码

/font defs: ---/,/end font defs ---/c\
%-------------------- PostScript (K Berry names) font defs: --------------\
\\font\\bbf=ptmb at 10pt\
\\font\\vbbf=ptmb at 12pt\
\\font\\smrm=ptmr at 6pt\
\\font\\brm=ptmr at 10pt\
\\font\\rm=ptmr at 8pt\
\\font\\it=ptmri at 8pt\
\\font\\tt=pcrr at 8pt\
% Used only for \copyright, replacing plain TeX macro.\
\\font\\sym=psyr at 7pt\
\\def\\copyright{{\\sym\\char'323}}\
%-------------------- end font defs ---------------------------------