Commit 6a51ce74 authored by Gabriel Scherer's avatar Gabriel Scherer

use \hspace instead of \hskip for Hevea compatibility

In theory, the two are not quite equivalent when surrounded by
whitespace. In practice, I didn't see a difference.
parent 0ff08c3c
......@@ -6,8 +6,8 @@
\newcommand{\seplist}[2]{#2#1${}\ldots{}$#1#2}
\newcommand{\sepspacelist}[1]{\seplist{\ }{#1}}
\newcommand{\sepcommalist}[1]{\seplist{,\ }{#1}}
\newcommand{\newprod}{\\\hskip 1cm\barre\hskip2mm}
\newcommand{\phaprod}{\\\hskip 1cm\phantom\barre\hskip2mm}
\newcommand{\newprod}{\\\hspace{1cm}\barre\hspace{2mm}}
\newcommand{\phaprod}{\\\hspace{1cm}\phantom\barre\hspace{2mm}}
% Concrete syntax.
......@@ -45,8 +45,8 @@
\newcommand{\kw}[1]{\text{\upshape\sf\bfseries #1}}
\newcommand{\inlinesidecomment}[1]{\textit{\textbf{\footnotesize // #1}}}
\newcommand{\sidecomment}[1]{\hskip 2cm\inlinesidecomment{#1}}
\newcommand{\docswitch}[1]{\vspace{1mm plus 1mm}#1.\hskip 3mm}
\newcommand{\sidecomment}[1]{\hspace{2cm}\inlinesidecomment{#1}}
\newcommand{\docswitch}[1]{\vspace{1mm plus 1mm}#1.\hspace{3mm}}
\newcommand{\error}{\kw{error}\xspace}
% Links to Menhir's repository.
......
......@@ -928,7 +928,7 @@ again in \sref{sec:library}.)
\begin{figure}
\begin{center}
\begin{tabular}{r@{\hskip 2mm}c@{\hskip 2mm}l}
\begin{tabular}{r@{\hspace{2mm}}c@{\hspace{2mm}}l}
\nt{actual}\dquestion & is syntactic sugar for & \nt{option}(\nt{actual}) \\
\nt{actual}\dplus & is syntactic sugar for & \nt{nonempty\_list}(\nt{actual}) \\
\nt{actual}\dstar & is syntactic sugar for & \nt{list}(\nt{actual})
......@@ -1695,7 +1695,7 @@ expr -> expr . TIMES expr [ # TIMES PLUS ]
\begin{tabular}{l}
\ldots \\
\dtoken \basic{END} \\
\dstart \kangle{\basic{int}} \nt{main} \hskip 1cm \textit{// instead of \nt{expr}} \\
\dstart \kangle{\basic{int}} \nt{main} \hspace{1cm} \textit{// instead of \nt{expr}} \\
\percentpercent \\
\nt{main}:
\newprod \basic{e} = \nt{expr} \basic{END} \dpaction{\basic{e}} \\
......@@ -1768,7 +1768,7 @@ the author of the lexical analyzer.)
\begin{figure}
\begin{center}
\begin{tabular}{@{}l@{\hskip 7.0mm}l@{}}
\begin{tabular}{@{}l@{\hspace{7.0mm}}l@{}}
\verb+$startpos+ & start position of the first symbol in the production's right-hand side, if there is one; \\&
end position of the most recently parsed symbol, otherwise \\
\verb+$endpos+ & end position of the first symbol in the production's right-hand side, if there is one; \\&
......@@ -1794,7 +1794,7 @@ the author of the lexical analyzer.)
% We could document $endpos($0). Not sure whether that would be a good thing.
\begin{figure}
\begin{tabular}{@{}ll@{\hskip2cm}l}
\begin{tabular}{@{}ll@{\hspace{2cm}}l}
% Positions.
\verb+symbol_start_pos()+ &
\ksymbolstartpos \\
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment