ocaml 3.09 transition

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

diff --git a/helm/mathql/doc/mathql_bib.tex b/helm/mathql/doc/mathql_bib.tex
index 374048459dc79c48c2a789f4807e523fd2470802..be28be8ff24f111e8c53eecafbce7e4f22dd5d9f 100644 (file)
--- a/helm/mathql/doc/mathql_bib.tex
+++ b/helm/mathql/doc/mathql_bib.tex
@@ -38,17 +38,16 @@ FrancoAngeli, 1998.
 D. Lordi:
 \emph{Sperimentazione e Sviluppo di Strumenti per la gestione di metadati}. \\
 Master Thesis in Computer Science, University of Bologna, 2002.
-Advisor: A. Asperti.
 
 \bibitem {RDF}
 \emph{Resource Description Framework (RDF) Model and Syntax Specification}.
 W3C Recommendation. February 22, 1999. \\
-\URI{http://www.w3.org/TR/1999/REC-rdfsyntax-19990222/}.
+\CURI{http://www.w3.org/TR/1999/REC-rdfsyntax-19990222/}.
 
 \bibitem {RDFS}
 \emph{RDF Vocabulary Description Language 1.0: RDF Schema}.
 W3C Working Draft. January 23, 2003
-\URI{http://www.w3.org/TR/rdf-schema/}.
+\CURI{http://www.w3.org/TR/rdf-schema/}.
 
 \bibitem {Sam00}
 G. Sambin: \emph{Formal topology and domains}.
@@ -62,17 +61,17 @@ Ph.D. dissertation. University of Bologna, 2002. Advisor: A. Asperti.
 \bibitem {Unicode}
 Unicode Consortium: 
 \emph{The Unicode Standard, Version 3.2}. March 2002. \\
-\URI{http://www.unicode.org/unicode/standard/standard.html}.
+\CURI{http://www.unicode.org/unicode/standard/standard.html}.
 
 \bibitem {URI}
 \emph{Uniform Resource Identifiers (URI): Generic Syntax (RFC 2396)}.
 August 1998. \\
-\URI{http://www.ietf.org/rfc/rfc2396.txt}.
+\CURI{http://www.ietf.org/rfc/rfc2396.txt}.
 
 \bibitem {W3Ca}
 \emph{Character Model for the World Wide Web 1.0},
 W3C Working Draft. April 30, 2002.
-\URI{http://www.w3.org/TR/charmod/}.
+\CURI{http://www.w3.org/TR/charmod/}.
 
 \bibitem {Win93}
 G. Winskel:
@@ -81,10 +80,10 @@ MIT Press Series in the Foundations of Computing. London: MIT Press, 1993.
 
 \bibitem {XML}
 \emph{Extensible Markup Language (XML) 1.0 (Second Edition)}.
-W3C Recommendation. October 6, 2000. \URI{http://www.w3.org/REC-xml}.
+W3C Recommendation. October 6, 2000. \CURI{http://www.w3.org/REC-xml}.
 
 \bibitem {XQuery}
 \emph{XQuery 1.0: An XML Query Language}.
-W3C Working Draft November 15, 2002. \URI{http://www.w3.org/TR/xquery/}.
+W3C Working Draft November 15, 2002. \CURI{http://www.w3.org/TR/xquery/}.
 
 \end{thebibliography}