equal
deleted
inserted
replaced
242 |
242 |
243 |
243 |
244 \subsection{Pairs} |
244 \subsection{Pairs} |
245 \input{Misc/document/pairs.tex} |
245 \input{Misc/document/pairs.tex} |
246 |
246 |
247 \subsection{Datatype \emph{\texttt{option}}} |
247 \subsection{Datatype {\tt\slshape option}} |
248 \label{sec:option} |
248 \label{sec:option} |
249 \input{Misc/document/Option2.tex} |
249 \input{Misc/document/Option2.tex} |
250 |
250 |
251 \section{Definitions} |
251 \section{Definitions} |
252 \label{sec:Definitions} |
252 \label{sec:Definitions} |