X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql.tex;h=73cd44d2e2404c8040f3e44fc4d9d9e703896446;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=522e405e1d0df08300092ee1ed0b39651e61bf6e;hpb=1c84c6e1df257ad284a256ee0c2c1a203f81b713;p=helm.git

diff --git a/helm/mathql/doc/mathql.tex b/helm/mathql/doc/mathql.tex
index 522e405e1..73cd44d2e 100644
--- a/helm/mathql/doc/mathql.tex
+++ b/helm/mathql/doc/mathql.tex
@@ -1,41 +1,40 @@
-\documentclass[10pt]{article}
-
-% \usepackage{fguidi}
-\addtolength{\textheight}{2.5cm}
-\addtolength{\oddsidemargin}{-1.0cm}
-\addtolength{\evensidemargin}{-1.0cm}
-\addtolength{\textwidth}{2.0cm}
-\addtolength{\topmargin}{-1.0cm}
+\documentclass{llncs}
 
+\usepackage{mathql_macros}
 \newcommand\xcomment[1]{}
-\newcommand\URI[1]{\texttt{<#1>}}
-
-\newcommand\MathQL{\textsc{mathql-1}}
-\newcommand\RDF{\textsc{rdf}}
-\newcommand\RDFS{\textsc{rdf schema}}
-\newcommand\HELM{\textsc{helm}}
-\newcommand\POSIX{\textsc{posix}}
-\newcommand\XML{\textsc{xml}}
-\newcommand\CAML{\textsc{caml}}
-\newcommand\SQL{\textsc{sql}}
-\newcommand\MySQL{\textsc{mysql}}
-\newcommand\PostgreSQL{\textsc{postgresql}}
-\newcommand\Galax{\textsc{galax}}
-\newcommand\XQuery{\textsc{xquery}}
-
-\title{MathQL-1.4}
-\author{Ferruccio Guidi}
-
-\bibliographystyle{numeric}
+
+\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).}
+}
+
+\institute{Department of Computer Science\\
+Mura Anteo Zamboni 7, 40127 Bologna, ITALY.\\
+\email{fguidi@cs.unibo.it}}
+
+\date{ }
 
 \begin{document}
 
 \maketitle
 
-\tableofcontents
+\begin{abstract}
+\end{abstract}
+
+\addtocounter{tocdepth}{2}
+
+\section*{\contentsname}{
+\catcode`@=11
+\def\l@title#1#2{}
+\def\l@author#1#2{}
+\@starttoc{toc}
+\catcode`@=12}
 
 \input{mathql_overview}
 \input{mathql_introduction}
+\input{mathql_operational}
+\input{mathql_tests}
 \input{mathql_bib}
 
 \end{document}