tidied .tex

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index b228f37ca2a445d7755dca5bc33790c8e9ca5889..8500cfa2c2b76f88e662dfd0c70b8929100360ac 100644 (file)
--- a/helm/papers/matita/matita2.tex
+++ b/helm/papers/matita/matita2.tex
@@ -1298,7 +1298,8 @@ but are quite verbose. The \NT{wanted} part of the syntax is meant to
 help the users in writing concise and elegant patterns by hand.
 
 \begin{table}
- \caption{\label{tab:pathsyn} Patterns concrete syntax.\strut}
+ \caption{Patterns concrete syntax.\strut}
+ \label{tab:pathsyn}
 \hrule
 \[
 \begin{array}{@{}rcll@{}}
@@ -1609,7 +1610,8 @@ making it impossible to read them again.
 \subsubsection{The \MATITA{} approach: Tinycals}
 
 \begin{table}
- \caption{\label{tab:tacsyn} Concrete syntax of \MATITA{} tacticals.\strut}
+ \caption{Concrete syntax of \MATITA{} tacticals.\strut}
+ \label{tab:tacsyn}
 \hrule
 \[
 \begin{array}{@{}rcll@{}}
@@ -1707,7 +1709,8 @@ scripts, listed in Tab.~\ref{tab:scripts}.
   \FILE{fermat\_little\_th.ma} \\     
   \FILE{totient.ma} & & \\
  \end{tabular}
- \caption{\label{tab:scripts} Scripts on natural numbers in the standard library}
+ \caption{Scripts on natural numbers in the standard library}
+ \label{tab:scripts}
 \end{table}
 
 We do not plan to maintain the library in a centralized way,