moved mathql/ under software/

[helm.git] / mathql / doc / mathql.tex

diff --git a/mathql/doc/mathql.tex b/mathql/doc/mathql.tex
new file mode 100644 (file)
index 0000000..73cd44d
--- /dev/null
+++ b/mathql/doc/mathql.tex
@@ -0,0 +1,40 @@
+\documentclass{llncs}
+
+\usepackage{mathql_macros}
+\newcommand\xcomment[1]{}
+
+\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
+
+\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}