X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmathql%2Fdoc%2Fmathql.tex;h=ed9a96021736fa05b3ea5c2426e8f9ece81ea998;hb=c5d5bf37b1e4c4b9b499ed2cbfe27cf2ec181944;hp=62d3954435f3a9ec0a01a601811612d2b83612d7;hpb=2542d2235787a5792069343b81d3fd60ffa56c2a;p=helm.git

diff --git a/helm/mathql/doc/mathql.tex b/helm/mathql/doc/mathql.tex
index 62d395443..ed9a96021 100644
--- a/helm/mathql/doc/mathql.tex
+++ b/helm/mathql/doc/mathql.tex
@@ -1,27 +1,32 @@
-\documentclass[10pt]{article}
+\documentclass{llncs}
 
 \usepackage{mathql_macros}
 
-\addtolength{\textheight}{2.5cm}
-\addtolength{\oddsidemargin}{-1.0cm}
-\addtolength{\evensidemargin}{-1.0cm}
-\addtolength{\textwidth}{2.0cm}
-\addtolength{\topmargin}{-1.0cm}
+\title{MathQL-1 Version 4\\Reference Documentation}
+\author{Ferruccio Guidi%
+\thanks{This work has been partially supported by
+MoWGLI (European FET Project IST-2001-33562).}
+}
 
-\title{MathQL-1.4}
-\author{Ferruccio Guidi}
+\institute{Department of Computer Science\\
+Mura Anteo Zamboni 7, 40127 Bologna, ITALY.\\
+\email{fguidi@cs.unibo.it}}
 
-\bibliographystyle{numeric}
+\date{ }
 
 \begin{document}
 
 \maketitle
 
+\begin{abstract}
+\end{abstract}
+
 \tableofcontents
 
 \input{mathql_overview}
 \input{mathql_introduction}
 \input{mathql_operational}
+\input{mathql_tests}
 \input{mathql_bib}
 
 \end{document}