]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/doc/mathql.tex
- some code patched
[helm.git] / helm / mathql / doc / mathql.tex
index ed9a96021736fa05b3ea5c2426e8f9ece81ea998..73cd44d2e2404c8040f3e44fc4d9d9e703896446 100644 (file)
@@ -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}