Commit 3da4032a authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2002-12-18 22:27:45 by cvscast] Empty log message

Original author: cvscast
Date: 2002-12-18 22:28:55+00:00
parent 822a9ec0
......@@ -6,7 +6,7 @@
<title>CDuce</title>
</head>
<body>
<banner title="CDuce" subtitle="Page last modified on 2002-12-05"/>
<banner title="CDuce" subtitle="Page last modified on 2002-12-05" src="img/cduce_logo.jpg" style="width: 400px; height: 206px;"/>
<div id="Sidelog">
<box title="">
......@@ -282,9 +282,11 @@ Some hyperlinks minus the hype</a> by Philip Wadler.</li>
<a href="mailto:Alain.Frisch@ens.fr">Mail the webmaster</a>
<p/>
<br/>
<img style="border:0;width:88px;height:31px"
<a href="comeon.htm">
<img style="border:0;width:88px;height:31px"
src="img/cducepower3.png"
alt="Powered by CDuce"/>
</a>
<a href="http://validator.w3.org/check?uri=http%3A%2F%2Fwww.cduce.org%2Fcduce2.html">
<img style="border:0;width:88px;height:31px"
src="http://www.w3.org/Icons/valid-xhtml10"
......
......@@ -21,6 +21,8 @@ let fun convert (XML_elem | Char | XML -> XML)
& ({ subtitle=st } | (st := `nil))
& ({ link=name } | (name := `nil)) )>x ->
box (t,st,name,convert x)
| <banner ({ title=t } & ({ subtitle=st } | (st := `nil)) & {src=s} & {style=sty})>x ->
banner (([<img {src=s; title=t; alt=t; style=sty}>[]]),st)
| <banner ({ title=t } & ({ subtitle=st } | (st := `nil)))>x ->
banner (t,st)
| <(tag) (attr)>x -> [<(tag) (attr)>(convert x)]
......
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