]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/doc/mathql_macros.sty
updating and structuring
[helm.git] / helm / mathql / doc / mathql_macros.sty
index a6701208e26d84d6f746715169becb094e8bbda5..01b563f8d00de16d5a245b0a22fbee7a9cf0ffc5 100644 (file)
@@ -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.}}