The operational semantics of the core language is ready

[helm.git] / helm / mathql / doc / mathql.tex

diff --git a/helm/mathql/doc/mathql.tex b/helm/mathql/doc/mathql.tex
index 522e405e1d0df08300092ee1ed0b39651e61bf6e..62d3954435f3a9ec0a01a601811612d2b83612d7 100644 (file)
--- 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}