Use 'list' instead of 'longtable' for crazy indentation of definition…

…s of 'incidence(e)'

chapters/synchronous.tex

@@ -898,13 +898,15 @@ \subsection{Base-clock Partitioning}\label{base-clock-partitioning}
 The base-clock partitioning is performed with base-clock inference which
 uses the following incidence definition:
 
-% This is not how you are supposed to format things in LaTeX
-\begin{tabular}{p{1cm}p{1cm}p{1cm}p{12cm}}
-\multicolumn{4}{p{15cm}}{\lstinline!incidence(e)! = the \emph{unknown} variables, as well as
-variables \lstinline!x! in \lstinline!der(x)!, \lstinline!pre(x)!, and \lstinline!previous(x)!,}\\
-&\multicolumn{3}{p{14cm}}{which lexically appear in \lstinline!e!}\\
-&&\multicolumn{2}{p{13cm}}{except as first argument of base-clock conversion operators: \lstinline!sample! and \lstinline!hold! and \lstinline!Clock(condition, startInterval)!.}
-\end{tabular}
+\lstinline!incidence(e)! =
+\begin{list}{}{\setlength{\leftmargin}{2em}\setlength{\topsep}{-\parskip}}
+\item
+the \emph{unknown} variables, as well as variables \lstinline!x! in \lstinline!der(x)!, \lstinline!pre(x)!, and \lstinline!previous(x)!, which lexically appear in \lstinline!e!
+\begin{list}{}{\setlength{\leftmargin}{2em}\setlength{\topsep}{-\parskip}}
+\item
+except as first argument of base-clock conversion operators: \lstinline!sample! and \lstinline!hold! and \lstinline!Clock(condition, startInterval)!.
+\end{list}
+\end{list}\vspace{\parskip}% Compensate for removal of \parskip from \topset.
 
 The resulting set of connected components, is the partitioning of the
 equations and variables, B\textsubscript{i} =
@@ -973,14 +975,16 @@ \subsection{Sub-clock Partitioning}\label{sub-clock-partitioning}
 \cref{base-clock-partitioning}, the sub-clock partitioning is performed with sub-clock inference
 which uses the following incidence definition:
 
-% This is not how you are supposed to format things in LaTeX
-\begin{tabular}{p{1cm}p{1cm}p{1cm}p{12cm}}
-\multicolumn{4}{p{15cm}}{\lstinline!incidence(e)! = the \emph{unknown} variables, as well as
-variables \lstinline!x! in \lstinline!der(x)!, \lstinline!pre(x)!, and \lstinline!previous(x)!,}\\
-&\multicolumn{3}{p{14cm}}{which lexically appear in e}\\
-&&\multicolumn{2}{p{13cm}}{except as first argument of sub-clock conversion operators:}\\
-&&&\multicolumn{1}{p{12cm}}{subSample, superSample, shiftSample, backSample, noClock, and Clock with first argument of \lstinline!Boolean! type.}
-\end{tabular}
+\lstinline!incidence(e)! =
+\begin{list}{}{\setlength{\leftmargin}{2em}\setlength{\topsep}{-\parskip}}
+\item
+the \emph{unknown} variables, as well as variables \lstinline!x! in \lstinline!der(x)!, \lstinline!pre(x)!, and \lstinline!previous(x)!, which lexically appear in e
+\begin{list}{}{\setlength{\leftmargin}{2em}\setlength{\topsep}{-\parskip}}
+\item
+except as first argument of sub-clock conversion operators: \lstinline!subSample!, \lstinline!superSample!, \lstinline!shiftSample!, \lstinline!backSample!, \lstinline!noClock!, and \lstinline!Clock! with first argument of \lstinline!Boolean! type.
+\end{list}
+\end{list}\vspace{\parskip}% Compensate for removal of \parskip from \topset.
+
 The resulting set of connected components, is the partitioning of the
 equations and variables, S\textsubscript{ij} =
 \textless{}E\textsubscript{ij}, V\textsubscript{ij}\textgreater{},