]> matita.cs.unibo.it Git - helm.git/blob - helm/mathql/doc/mathql.tex
updating and structuring
[helm.git] / helm / mathql / doc / mathql.tex
1 \documentclass[10pt]{article}
2
3 \usepackage{mathql_macros}
4
5 \addtolength{\textheight}{2.5cm}
6 \addtolength{\oddsidemargin}{-1.0cm}
7 \addtolength{\evensidemargin}{-1.0cm}
8 \addtolength{\textwidth}{2.0cm}
9 \addtolength{\topmargin}{-1.0cm}
10
11 \title{MathQL-1 Version 4\\Reference Documentation}
12 \author{Ferruccio Guidi}
13
14 \bibliographystyle{numeric}
15
16 \begin{document}
17
18 \maketitle
19
20 \tableofcontents
21
22 \input{mathql_overview}
23 \input{mathql_introduction}
24 \input{mathql_operational}
25 \input{mathql_bib}
26
27 \end{document}