This commit was manufactured by cvs2svn to create branch 'moogle'.

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

diff --git a/helm/mathql/doc/mathql.tex b/helm/mathql/doc/mathql.tex
deleted file mode 100644 (file)
index 73cd44d..0000000
--- a/helm/mathql/doc/mathql.tex
+++ /dev/null
@@ -1,40 +0,0 @@
-\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}