[project @ 1996-05-01 18:36:59 by partain]
[ghc-hetmet.git] / ghc / CONTRIB / pphs / docs / pphs.sty
1 % =========================================
2 % Definitions for use with the pphs program
3 % =========================================
4
5 \typeout{For use with the pphs program}
6
7 % Definitions of commands used by pphs
8
9 \newbox\foo
10 \def\skipover#1{\setbox\foo\hbox{#1}\hskip\wd\foo}
11 \def\plusplus{\hbox{$+\mkern-7.5mu+$}}
12 \def\xspa#1{\hskip#1ex}
13 \def\bareq{\setbox\foo\hbox{$=$}\makebox[\wd\foo]{$|$}}
14
15 % User-redefinable commands - typefaces
16
17 \def\keyword{\bf}
18 \def\iden{\it}
19 \def\stri{\rm}
20 \def\com{\rm}
21 \def\numb{\rm}
22
23 % User-redefinable commands - quote marks
24
25 \def\forquo{\hbox{\rm '}}
26 \def\escquo{\hbox{\rm '}}