From: Stefano Zacchiroli 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}