helm/mathql/doc/mathql.tex

   1 \documentclass{llncs}
   2
   3 \usepackage{mathql_macros}
   4 \newcommand\xcomment[1]{}
   5
   6 \title{MathQL-1 Version 4\\Reference Documentation}
   7 \author{Ferruccio Guidi%
   8 \thanks{This work has been partially supported by
   9 MoWGLI (European FET Project IST-2001-33562).}
  10 }
  11
  12 \institute{Department of Computer Science\\
  13 Mura Anteo Zamboni 7, 40127 Bologna, ITALY.\\
  14 \email{fguidi@cs.unibo.it}}
  15
  16 \date{ }
  17
  18 \begin{document}
  19
  20 \maketitle
  21
  22 \begin{abstract}
  23 \end{abstract}
  24
  25 \addtocounter{tocdepth}{2}
  26
  27 \section*{\contentsname}{
  28 \catcode`@=11
  29 \def\l@title#1#2{}
  30 \def\l@author#1#2{}
  31 \@starttoc{toc}
  32 \catcode`@=12}
  33
  34 \input{mathql_overview}
  35 \input{mathql_introduction}
  36 \input{mathql_operational}
  37 \input{mathql_tests}
  38 \input{mathql_bib}
  39
  40 \end{document}