semantics of these commands. It also implements undoing of the semantic
actions. Among the commands there are hints to the
disambiguation algorithm that are used to control and speed up disambiguation.
-These mechanisms will be further discussed in Sect.~\ref{disambiguazione}.
+These mechanisms will be further discussed in Sect.~\ref{sec:disambiguation}.
Finally, the \texttt{grafite\_parser} \component{} implements a parser for
the concrete syntax of the commands of \MATITA. The parser process a stream
\section{The \MATITA{} user interface}
-
-
\subsection{Disambiguation}
+\label{sec:disambiguation}
Software applications that involve input of mathematical content should strive
to require the user as less drift from informal mathematics as possible. We
\TODO{spiegazione della tabella}
\begin{table}
- \caption{\label{tab:disambpasses} Disambiguation passes.\strut}
+ \caption{Disambiguation passes.\strut}
+ \label{tab:disambpasses}
\footnotesize
\begin{center}
\begin{tabular}{c|c|c|c}