Fixed typo and updated assertion macro.

Author: spericas

spec/chapters/engines.tex

@@ -40,7 +40,7 @@ \section{Selection Algorithm}
 the following algorithm assumes only \Viewable\ as input.
 
 Implementations should perform the following steps while trying to find
-a suitable view engine for a \Viewable \assertref{selection-algorithm}.
+a suitable view engine for a \Viewable\ \assertref{selection-algorithm}.
 
 \begin{enumerate}
 \item If calling \code{getViewEngine} on the \Viewable\ returns a non-null value, return

spec/chapters/intro.tex

@@ -90,7 +90,7 @@ \section{Conventions}
 `RECOMMENDED', `MAY', and `OPTIONAL' in this document are to be interpreted as described in 
 RFC 2119\cite{rfc2119}. 
 
-Assertions defined by this specification are formatted as {\textbf{\lllb{an-assertion}\rrrb}} 
+Assertions defined by this specification are formatted as {\textbf{\llb{an-assertion}\rrb}} 
 using a descriptive name as the label and are all listed in Appendix \ref{assertions}.
 
 Java code and sample data fragments are formatted as shown in figure \ref{ex1}:

spec/spec.pdf

@@ -91,13 +91,13 @@
 \newcommand{\ReadFrom}{{\footnotesize {\sf ReadFrom}}}
 \newcommand{\WriteTo}{{\footnotesize {\sf WriteTo}}}
 
-\newcommand{\lllb}{$[\![\![$}
-\newcommand{\rrrb}{$]\!]\!]$}
-\newcommand{\assertref}[1]{\textbf{\lllb\ref{#1}\rrrb}}
+\newcommand{\llb}{$[\![$}
+\newcommand{\rrb}{$]\!]$}
+\newcommand{\assertref}[1]{\textbf{\llb\ref{#1}\rrb}}
 
 \makeatletter
 \newcommand{\assert}[1]{%
-\def\@itemlabel{\textbf{\lllb#1\rrrb}}
+\def\@itemlabel{\textbf{\llb{#1}\rrb}}
 \item
 \def\@currentlabel{#1}\label{#1}}
 \makeatother