From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 23 Jan 2006 10:44:09 +0000 (+0000)
Subject: labels here and there
X-Git-Tag: make_still_working~7787
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6c43a7f440daf19e2475b7eabd20456bdb0e9f76;hp=460802c49902d1225b37ac6cd6f5aa599aa5ecd8;p=helm.git

labels here and there
---

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}