| 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 |