From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 17 Nov 2005 15:13:15 +0000 (+0000)
Subject: followed kluwer guidelines
X-Git-Tag: V_0_7_2_3~53
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=aae5962a5f1cdd3f69f0b989ab315449f583fd6a;p=helm.git

followed kluwer guidelines
---

diff --git a/helm/papers/matita/matita.tex b/helm/papers/matita/matita.tex
index 23244b138..b7b20dc2e 100644
--- a/helm/papers/matita/matita.tex
+++ b/helm/papers/matita/matita.tex
@@ -18,10 +18,10 @@
 \newcommand{\ELIM}{\textsc{Elim}}
 \newcommand{\HELM}{Helm}
 \newcommand{\HINT}{\textsc{Hint}}
-\newcommand{\IN}{\ensuremath{\mathbb{N}}}
+\newcommand{\IN}{\ensuremath{\dN}}
 \newcommand{\INSTANCE}{\textsc{Instance}}
-\newcommand{\IR}{\ensuremath{\mathbb{R}}}
-\newcommand{\IZ}{\ensuremath{\mathbb{Z}}}
+\newcommand{\IR}{\ensuremath{\dR}}
+\newcommand{\IZ}{\ensuremath{\dZ}}
 \newcommand{\LIBXSLT}{LibXSLT}
 \newcommand{\LOCATE}{\textsc{Locate}}
 \newcommand{\MATCH}{\textsc{Match}}
@@ -77,25 +77,30 @@
 
 \begin{opening}
 
-\title{The Matita proof assistant}
-\runningtitle{The Matita proof assistant}
-
-\author{Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi
- and Stefano Zacchiroli}
-\runningauthor{Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi
- and Stefano Zacchiroli}
+ \title{The \MATITA{} Proof Assistant}
 
+\author{Andrea \surname{Asperti} \email{asperti@cs.unibo.it}}
+\author{Claudio \surname{Sacerdoti Coen} \email{sacerdot@cs.unibo.it}}
+\author{Enrico \surname{Tassi} \email{tassi@cs.unibo.it}}
+\author{Stefano \surname{Zacchiroli} \email{zacchiro@cs.unibo.it}}
 \institute{Department of Computer Science, University of Bologna\\
- Mura Anteo Zamboni, 7 --- 40127 Bologna, ITALY\\
- \email{$\{$asperti,sacerdot,tassi,zacchiro$\}$@cs.unibo.it}}
+ Mura Anteo Zamboni, 7 --- 40127 Bologna, ITALY}
+
+\runningtitle{The Matita proof assistant}
+\runningauthor{Asperti, Sacerdoti Coen, Tassi, Zacchiroli}
+
+% \date{data}
 
-\date{data}
+\begin{motto}
+ Be primitive.
+\end{motto}
 
 \begin{abstract}
  abstract qui
 \end{abstract}
 
-\keywords{parole, chiave}
+\keywords{Proof Assistant, Mathematical Knowledge Management, XML, Authoring,
+Digital Libraries}
 
 \end{opening}