OLD | NEW |
1 \def\keyword#1{\textbf{#1}} | 1 \def\keyword#1{\textbf{#1}} |
2 \def\builtinId#1{\textbf{#1}} | 2 \def\builtinId#1{\textbf{#1}} |
3 \def\comment#1{\textit{#1}} | 3 \def\comment#1{\textit{#1}} |
4 \def\capt#1{\rmfamily \caption{#1}} | 4 \def\capt#1{\rmfamily \caption{#1}} |
5 \newcommand{\cd}[1]{\textsf{#1}} | 5 \newcommand{\cd}[1]{\textsf{#1}} |
6 \def\lt{\ensuremath{<}} | 6 \def\lt{\ensuremath{<}} |
7 \def\gt{\ensuremath{>}} | 7 \def\gt{\ensuremath{>}} |
8 \def\<{\ensuremath{\langle}} | 8 \def\<{\ensuremath{\langle}} |
9 \def\>{\ensuremath{\rangle}} | 9 \def\>{\ensuremath{\rangle}} |
10 \def\metavar#1{\ensuremath{\mathit{#1}}} | 10 \def\metavar#1{\ensuremath{\mathit{#1}}} |
(...skipping 66 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
77 % \begin{verbatim}[#1] | 77 % \begin{verbatim}[#1] |
78 \def\@programcr{\@addfield\strut} | 78 \def\@programcr{\@addfield\strut} |
79 \let\\=\@programcr | 79 \let\\=\@programcr |
80 \relax\@vobeyspaces\obeylines | 80 \relax\@vobeyspaces\obeylines |
81 | 81 |
82 \sffamily | 82 \sffamily |
83 }{ | 83 }{ |
84 %\end{verbatim} | 84 %\end{verbatim} |
85 } | 85 } |
86 | 86 |
| 87 % For grammar (both lexer and parser) symbols, used in text. |
| 88 \newcommand{\GrammarSymbol}[1]{{\bf{#1}}} |
| 89 |
87 % ---------------------------------------------------------------------- | 90 % ---------------------------------------------------------------------- |
88 % Support for hash valued Location Markers | 91 % Support for hash valued Location Markers |
89 | 92 |
90 % very small font, to enable 40 char hash values in the margin | 93 % very small font, to enable 40 char hash values in the margin |
91 \makeatletter | 94 \makeatletter |
92 \ifcase \@ptsize \relax% 10pt | 95 \ifcase \@ptsize \relax% 10pt |
93 \newcommand{\miniscule}{\@setfontsize\miniscule{2}{3}}% \tiny: 5/6 | 96 \newcommand{\miniscule}{\@setfontsize\miniscule{2}{3}}% \tiny: 5/6 |
94 \or% 11pt | 97 \or% 11pt |
95 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 | 98 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 |
96 \or% 12pt | 99 \or% 12pt |
97 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 | 100 \newcommand{\miniscule}{\@setfontsize\miniscule{3}{4}}% \tiny: 6/7 |
98 \fi | 101 \fi |
99 \makeatother | 102 \makeatother |
100 | 103 |
101 % white: location markers should not create visual noise | 104 % white: location markers should not create visual noise |
102 \definecolor{LMdim}{gray}{1.0} | 105 \definecolor{LMdim}{gray}{1.0} |
103 | 106 |
104 % insert location marker showing hash value of following paragraph | 107 % insert location marker showing hash value of following paragraph |
105 \newcommand{\LMHash}[1]{% | 108 \newcommand{\LMHash}[1]{% |
106 \hspace{0pt}\marginpar{\raisebox{0.5ex}{\miniscule{\color{LMdim}#1}}}} | 109 \hspace{0pt}\marginpar{\raisebox{0.5ex}{\miniscule{\color{LMdim}#1}}}} |
107 | 110 |
108 % support convenient renewcommand | 111 % support convenient renewcommand |
109 \let\OriginalLMHash\LMHash | 112 \let\OriginalLMHash\LMHash |
110 | 113 |
111 % define a label, and show the associated logical location marker | 114 % define a label, and show the associated logical location marker |
112 \newcommand{\LMLabel}[1]{% | 115 \newcommand{\LMLabel}[1]{% |
113 \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{#1}}% | 116 \vspace{-\baselineskip}\hspace{0pt}\OriginalLMHash{\raisebox{10ex}{#1}}% |
114 \label{#1}} | 117 \label{#1}} |
115 % ---------------------------------------------------------------------- | 118 % ---------------------------------------------------------------------- |
OLD | NEW |