Commit b8bc9674 authored by Giuseppe Castagna's avatar Giuseppe Castagna

Changed encodings

parent 585648b4
......@@ -822,7 +822,7 @@ where not([b1]/Title = [b2]/Title)
(*
reste a retirer les doublons. besoin de l oprateur order pour ca.
reste a retirer les doublons. besoin de l opérateur order pour ca.
*)
......@@ -1231,7 +1231,7 @@ let bib : Biblio =
<paper>[
<author>\"Alain Frisch\"
<author>\"Giuseppe Castagna\"
<author>\"Vronique Benzaken\"
<author>\"Véronique Benzaken\"
<title>\"Semantic subtyping\"
<conference>\"LICS 02\"
<file>\"semsub.ps.gz\"
......@@ -1246,7 +1246,7 @@ let bib : Biblio =
<file>\"itrs02.ps.gz\"
]
<paper>[
<author>\"Vronique Benzaken\"
<author>\"Véronique Benzaken\"
<author>\"Giuseppe Castagna\"
<author>\"Alain Frisch\"
<title>\"CDuce: a white-paper\"
......@@ -1273,7 +1273,7 @@ let bib : Biblio =
<paper>[
<author>\"Alain Frisch\"
<author>\"Giuseppe Castagna\"
<author>\"Vronique Benzaken\"
<author>\"Véronique Benzaken\"
<title>\"Semantic subtyping\"
<conference>\"LICS 02\"
<file>\"semsub.ps.gz\"
......@@ -1288,7 +1288,7 @@ let bib : Biblio =
<file>\"itrs02.ps.gz\"
]
<paper>[
<author>\"Vronique Benzaken\"
<author>\"Véronique Benzaken\"
<author>\"Giuseppe Castagna\"
<author>\"Alain Frisch\"
<title>\"CDuce: a white-paper\"
......@@ -1466,12 +1466,12 @@ Q9 Query
Q11 Query
</li><li><a href=\"/cgi-bin/cduce?example=q12\">Q12.</a>
Q12 Query
</li><li><a href=\"/cgi-bin/cduce?example=qatt1\">Attributs et lments.</a>
Partie 1
</li><li><a href=\"/cgi-bin/cduce?example=qatt2\">Attributs et lments.</a>
Partie 2
</li><li><a href=\"/cgi-bin/cduce?example=qatt3\">Attributs et lments.</a>
Partie 3
</li><li><a href=\"/cgi-bin/cduce?example=qatt1\">Attributes and elements.</a>
Part 1
</li><li><a href=\"/cgi-bin/cduce?example=qatt2\">Attributes and elements.</a>
Part 2
</li><li><a href=\"/cgi-bin/cduce?example=qatt3\">Attributes and elements.</a>
Part 3
</li><li><a href=\"/cgi-bin/cduce?example=xml\">XML elements.</a>
XML elements.
</li><li><a href=\"/cgi-bin/cduce?example=functions\">Functions.</a>
......@@ -1501,4 +1501,4 @@ Mutable values.
</li><li><a href=\"/cgi-bin/cduce?example=pm_compil\">Compilation of pattern matching.</a>
This example demonstrates the efficient compilation of pattern
matching.
</li></ul>"
\ No newline at end of file
</li></ul>"
......@@ -160,7 +160,7 @@ let main (cgi : Netcgi.cgi) =
<div class=\"box\"><h2>About the prototype</h2>
<p>
CDuce is under active development; some features may not work properly.
<p><a href='mailto:Alain.Frisch@ens.fr'>Webmaster</a></p>
<p><a href='mailto:gc@pps.univ-paris-diderot.fr'>Webmaster</a></p>
<p>Prototype version "^ <:symbol<cduce_version>> ^",
built on "^ <:symbol<build_date>> ^".</p></div>");
html_footer p;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment