Commit 49cb737a authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-06-15 13:31:48 by afrisch] Empty log message

Original author: afrisch
Date: 2005-06-15 13:31:48+00:00
parent 7ad4ed70
...@@ -25,7 +25,7 @@ secours</a>.</li> ...@@ -25,7 +25,7 @@ secours</a>.</li>
</section> </section>
<section title="CDuce used in scientific research projects"> <section title="CDuce in scientific research projects">
<p> <p>
Several research papers mention the use of CDuce. Several research papers mention the use of CDuce.
...@@ -41,7 +41,7 @@ Exploration</a>.</li> ...@@ -41,7 +41,7 @@ Exploration</a>.</li>
</section> </section>
<section title="CDuce used in software projects or libraries"> <section title="CDuce in software projects or libraries">
<ul> <ul>
<li><a href="http://www.demexp.org">The Demexp project</a>.</li> <li><a href="http://www.demexp.org">The Demexp project</a>.</li>
...@@ -51,7 +51,7 @@ href="http://caml.inria.fr/pub/ml-archives/caml-list/2005/06/de1ec925a81313be4cf ...@@ -51,7 +51,7 @@ href="http://caml.inria.fr/pub/ml-archives/caml-list/2005/06/de1ec925a81313be4cf
</section> </section>
<section title="CDuce used to create personal home pages"> <section title="CDuce to create personal home pages">
<ul> <ul>
<li><a href="http://www.lri.fr/~benzaken/">Vronique Benzaken</a>.</li> <li><a href="http://www.lri.fr/~benzaken/">Vronique Benzaken</a>.</li>
...@@ -63,7 +63,7 @@ Miachon</a>.</li> ...@@ -63,7 +63,7 @@ Miachon</a>.</li>
</section> </section>
<section title="CDuce used for teaching"> <section title="CDuce for teaching">
<ul> <ul>
<li>The <a href="http://ctp.di.fct.unl.pt/lei/ltpa/"> <li>The <a href="http://ctp.di.fct.unl.pt/lei/ltpa/">
......
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