From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 28 Jan 2006 09:12:35 +0000 (+0000)
Subject: tidied .tex
X-Git-Tag: make_still_working~7744
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cf40d4c923bc4ae8b1d2d3c91170cfea96f7c1d5;p=helm.git

tidied .tex
---

diff --git a/helm/papers/matita/matita2.tex b/helm/papers/matita/matita2.tex
index b228f37ca..8500cfa2c 100644
--- 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,