changeset 12489 | c92e38c3cbaa |
parent 12458 | a8c219e76ae0 |
child 15364 | 0c3891c3528f |
12488:83acab8042ad | 12489:c92e38c3cbaa |
---|---|
113 |
113 |
114 \input{Misc/document/appendix.tex} |
114 \input{Misc/document/appendix.tex} |
115 |
115 |
116 \begin{table}[htbp] |
116 \begin{table}[htbp] |
117 \begin{center} |
117 \begin{center} |
118 \begin{tabular}{|lllllllll|} |
118 \begin{tabular}{@{}|lllllllll|@{}} |
119 \hline |
119 \hline |
120 \texttt{ALL} & |
120 \texttt{ALL} & |
121 \texttt{BIT} & |
121 \texttt{BIT} & |
122 \texttt{CHR} & |
122 \texttt{CHR} & |
123 \texttt{EX} & |
123 \texttt{EX} & |