X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql.tex;h=62d3954435f3a9ec0a01a601811612d2b83612d7;hb=2542d2235787a5792069343b81d3fd60ffa56c2a;hp=522e405e1d0df08300092ee1ed0b39651e61bf6e;hpb=7fb6c1dba9a3cc1285344262d73f6ce11ee96a9e;p=helm.git

diff --git a/helm/mathql/doc/mathql.tex b/helm/mathql/doc/mathql.tex
index 522e405e1..62d395443 100644
--- a/helm/mathql/doc/mathql.tex
+++ b/helm/mathql/doc/mathql.tex
@@ -1,28 +1,13 @@
 \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}
 \author{Ferruccio Guidi}
 
@@ -36,6 +21,7 @@
 
 \input{mathql_overview}
 \input{mathql_introduction}
+\input{mathql_operational}
 \input{mathql_bib}
 
 \end{document}