From 6c43a7f440daf19e2475b7eabd20456bdb0e9f76 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 23 Jan 2006 10:44:09 +0000 Subject: [PATCH] labels here and there --- helm/papers/matita/matita2.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex index 4dbf40cae..84c98b484 100644 --- a/helm/papers/matita/matita2.tex +++ b/helm/papers/matita/matita2.tex @@ -601,7 +601,7 @@ of commands to declare and activate new notations and it implements the 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 @@ -898,9 +898,8 @@ expression and the suffix \verb+_to_Prop+. In the above example, \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 @@ -1093,7 +1092,8 @@ is depicted in Tab.~\ref{tab:disambpasses}. \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} -- 2.39.2