X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql.tex;h=73cd44d2e2404c8040f3e44fc4d9d9e703896446;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=ed9a96021736fa05b3ea5c2426e8f9ece81ea998;hpb=552dbd63f202c8876605b62621c3e727d71e3963;p=helm.git

diff --git a/helm/mathql/doc/mathql.tex b/helm/mathql/doc/mathql.tex
index ed9a96021..73cd44d2e 100644
--- a/helm/mathql/doc/mathql.tex
+++ b/helm/mathql/doc/mathql.tex
@@ -1,6 +1,7 @@
 \documentclass{llncs}
 
 \usepackage{mathql_macros}
+\newcommand\xcomment[1]{}
 
 \title{MathQL-1 Version 4\\Reference Documentation}
 \author{Ferruccio Guidi%
@@ -21,7 +22,14 @@ Mura Anteo Zamboni 7, 40127 Bologna, ITALY.\\
 \begin{abstract}
 \end{abstract}
 
-\tableofcontents
+\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}