]> matita.cs.unibo.it Git - helm.git/commitdiff
labels here and there
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Jan 2006 10:44:09 +0000 (10:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Jan 2006 10:44:09 +0000 (10:44 +0000)
helm/papers/matita/matita2.tex

index 4dbf40cae059a48ad3acf3f8a8890623f94dbdb6..84c98b48406b0155959e8779257e5a82ef2bc746 100644 (file)
@@ -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}