X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmathql%2Fdoc%2Fmathql_macros.sty;h=01b563f8d00de16d5a245b0a22fbee7a9cf0ffc5;hb=1145c5ea2e31055388f5f02c6382429a11fd5dd9;hp=a6701208e26d84d6f746715169becb094e8bbda5;hpb=e5632ea17a3a417084b1b12d3c5b1cc0f8bf78c3;p=helm.git

diff --git a/helm/mathql/doc/mathql_macros.sty b/helm/mathql/doc/mathql_macros.sty
index a6701208e..01b563f8d 100644
--- a/helm/mathql/doc/mathql_macros.sty
+++ b/helm/mathql/doc/mathql_macros.sty
@@ -4,17 +4,19 @@
 \newcommand{\subsecref}[1]{Subsection~\ref{#1}}
 \newcommand{\figref}[1]{Figure~\ref{#1}}
 
+\newcommand\CAML{\textsc{caml}}
+\newcommand\Galax{\textsc{galax}}
+\newcommand\HELM{\textsc{helm}}
 \newcommand\MathQL{\textsc{mathql-1}}
+\newcommand\MySQL{\textsc{mysql}}
+\newcommand\POSIX{\textsc{posix}}
+\newcommand\PostgreSQL{\textsc{postgresql}}
 \newcommand\RDF{\textsc{rdf}}
+\newcommand\RDFM{\textsc{rdf model}}
 \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\URI{\textsc{uri}}
+\newcommand\XML{\textsc{xml}}
 \newcommand\XQuery{\textsc{xquery}}
 
 \def\av{{\frenchspacing a.v.}}