Commit 87fe9c8b authored by Giuseppe Castagna's avatar Giuseppe Castagna

small typos

parent 4579d783
......@@ -822,7 +822,7 @@ where not([b1]/Title = [b2]/Title)
(*
reste a retirer les doublons. besoin de l opérateur order pour ca.
reste a retirer les doublons. besoin de l oprateur order pour ca.
*)
......@@ -1231,7 +1231,7 @@ let bib : Biblio =
<paper>[
<author>\"Alain Frisch\"
<author>\"Giuseppe Castagna\"
<author>\"Véronique Benzaken\"
<author>\"Vronique Benzaken\"
<title>\"Semantic subtyping\"
<conference>\"LICS 02\"
<file>\"semsub.ps.gz\"
......@@ -1246,7 +1246,7 @@ let bib : Biblio =
<file>\"itrs02.ps.gz\"
]
<paper>[
<author>\"Véronique Benzaken\"
<author>\"Vronique 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>\"Véronique Benzaken\"
<author>\"Vronique Benzaken\"
<title>\"Semantic subtyping\"
<conference>\"LICS 02\"
<file>\"semsub.ps.gz\"
......@@ -1288,7 +1288,7 @@ let bib : Biblio =
<file>\"itrs02.ps.gz\"
]
<paper>[
<author>\"Véronique Benzaken\"
<author>\"Vronique Benzaken\"
<author>\"Giuseppe Castagna\"
<author>\"Alain Frisch\"
<title>\"CDuce: a white-paper\"
......@@ -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>"
</li></ul>"
\ No newline at end of file
......@@ -43,15 +43,15 @@ Q12 Query
<example code="qatt1" title="Attributes and elements">
Partie 1
Part 1
</example>
<example code="qatt2" title="Attributes and elements">
Partie 2
Part 2
</example>
<example code="qatt3" title="Attributes and elements">
Partie 3
Part 3
</example>
......
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