Commit beaaab59 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-01-22 22:16:10 by cvscast] Empty log message

Original author: cvscast
Date: 2003-01-22 22:16:10+00:00
parent 54b0c9de
......@@ -97,6 +97,11 @@ to store and extract information efficiently).</li>
<box title="">
<b>CDuce</b> is developped by the
<a href="http://www.di.ens.fr/~castagna/EQUIPE"><b>Languages</b></a> group of ENS in Paris and the <a href="http://www.lri.fr/BD"><b>Databases</b></a> group of LRI in Orsay, two <a href="http://www.cnrs.fr">CNRS</a> labs
<center>
<img style="border:0;width:45px"
src="img//LogoCNRSMoyen.gif"
alt="CNRS"/>
</center>
</box>
......@@ -118,8 +123,9 @@ if (preg_match("/Mozilla\/5.0/i", "$browser")) {
</div>
<div id="Content">
<box title="Give it a try!" subtitle="Online running prototype"
<box title="Give it a try!" subtitle=""
link="proto">
<h4>Online running prototype</h4>
<p>
The only available implementation
of CDuce is an <a href="cgi-bin/cduce">online prototype</a>. To get a feeling
......@@ -331,6 +337,9 @@ Some hyperlinks minus the hype</a> by Philip Wadler.</li>
<div class="meta">
<table>
<tr>
<td>
<a href="mailto:Alain.Frisch@ens.fr">Mail the webmaster</a>
<p/>
<br/>
......@@ -354,9 +363,26 @@ if (preg_match("/Mozilla\/5.0/i", "$browser"))
src="http://jigsaw.w3.org/css-validator/images/vcss"
alt="Valid CSS!"/>
</a>
</td>
<td><a href="http://www.ens.fr">
<img style="border:0"
src="img//symbENSmio.gif"
alt="ENS" title="ENS"/></a></td>
<td> </td>
<td><a href="http://www.u-paris11.fr">
<img style="border:0"
src="img//symbP11mio.gif"
alt="Paris 11" title="Paris 11"/></a></td>
<td><a href="http://www.cnrs.fr">
<img style="border:0"
src="img//symbCNRSmio.gif"
alt="CNRS" title="CNRS"/></a>
<?php
;}}
?>
</td>
</tr></table>
</div>
</div>
</body>
......
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