blob: 3596a10394012aa68b95aa7f45d76fce9c84e463 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
%%%-This is the unkindest cut here of all----------------------------
% This is WEBMACss.TEX in text format, as of Aug 27, 1987.
% modification to standard macros for WEB listings (in addition to
% PLAIN.TEX)
% Prints Pascal text in sans-serif type.
% To use, include the line \input WEBMACss.TeX in the ``limbo''
% section of your WEB program
\font\pit=cmss10 % type for identifiers
\font\pbf=cmssbx10 % type for reserved words.
\def\\#1{\hbox{\pit#1\/\kern.05em}} % italic type for identifiers
%\def\|#1{\hbox{$#1$}} % one-letter identifiers look a bit better this way
\let\|=\\ % We aren't using \mit anymore.
\def\{\hbox{\pbf#1\/}} % boldface type for reserved words
%%%-Julius Caeser never really said that-----------------------------
|