X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql.tex;h=1dde6905fe32bfff176a73f61bb31ede7c80a081;hb=1145c5ea2e31055388f5f02c6382429a11fd5dd9;hp=522e405e1d0df08300092ee1ed0b39651e61bf6e;hpb=1c84c6e1df257ad284a256ee0c2c1a203f81b713;p=helm.git

diff --git a/helm/mathql/doc/mathql.tex b/helm/mathql/doc/mathql.tex
index 522e405e1..1dde6905f 100644
--- a/helm/mathql/doc/mathql.tex
+++ b/helm/mathql/doc/mathql.tex
@@ -1,29 +1,14 @@
 \documentclass[10pt]{article}
 
-% \usepackage{fguidi}
+\usepackage{mathql_macros}
+
 \addtolength{\textheight}{2.5cm}
 \addtolength{\oddsidemargin}{-1.0cm}
 \addtolength{\evensidemargin}{-1.0cm}
 \addtolength{\textwidth}{2.0cm}
 \addtolength{\topmargin}{-1.0cm}
 
-\newcommand\xcomment[1]{}
-\newcommand\URI[1]{\texttt{<#1>}}
-
-\newcommand\MathQL{\textsc{mathql-1}}
-\newcommand\RDF{\textsc{rdf}}
-\newcommand\RDFS{\textsc{rdf schema}}
-\newcommand\HELM{\textsc{helm}}
-\newcommand\POSIX{\textsc{posix}}
-\newcommand\XML{\textsc{xml}}
-\newcommand\CAML{\textsc{caml}}
-\newcommand\SQL{\textsc{sql}}
-\newcommand\MySQL{\textsc{mysql}}
-\newcommand\PostgreSQL{\textsc{postgresql}}
-\newcommand\Galax{\textsc{galax}}
-\newcommand\XQuery{\textsc{xquery}}
-
-\title{MathQL-1.4}
+\title{MathQL-1 Version 4\\Reference Documentation}
 \author{Ferruccio Guidi}
 
 \bibliographystyle{numeric}
@@ -36,6 +21,7 @@
 
 \input{mathql_overview}
 \input{mathql_introduction}
+\input{mathql_operational}
 \input{mathql_bib}
 
 \end{document}