Commit 25a73a10 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-01-15 09:26:06 by cvscast] Empty log message

Original author: cvscast
Date: 2003-01-15 09:27:34+00:00
parent 28508d6b
......@@ -2,10 +2,10 @@
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/>
<?php
$browser = getenv("HTTP_USER_AGENT");
<php>[
'$browser = getenv("HTTP_USER_AGENT");
if (preg_match("/MSIE/i", "$browser")) {
$css = "<link rel=\"stylesheet\" href=\"cduce2.css\" type=\"text/css\">";
$css = \"<link rel=\\\"stylesheet\" href=\"cduce2.css\" type=\"text/css\">";
} elseif (preg_match("/Mozilla/i", "$browser")) {
$css = "<blink>For better presentation use a more recent version of your browser, such as Netscape 6 or Mozilla</blink>";
} if (preg_match("/Mozilla\/5.0/i", "$browser")) {
......@@ -13,8 +13,7 @@
} elseif (preg_match("/opera/i", "$browser")) {
$css = "<link rel=\"stylesheet\" href=\"cduceOpera.css\" type=\"text/css\">";
}
echo "$css";
?>
echo "$css";'
<title>CDuce</title>
</head>
<body>
......@@ -273,13 +272,15 @@ Slides of the presentation given at the PLANX 2002 Workshop in Pittsburgh (2002
<b>CDuce: a white paper</b>.
V. Benzaken, G. Castagna, and A. Frisch.
Slides of the presentation given at MyThS meeting in Bertinoro (2002-12)
<a href="ftp://ftp.ens.fr/pub/di/users/castagna/SLIDES/cduce-wp-slides.ps.gz">(download
<a href="ftp://ftp.ens.fr/pub/di/users/castagna/SLIDES/cduce-wp-slides.pdf.gz">(download
ps.gz)</a></li>
<li>
<b>CDuce: document security</b>.
V. Benzaken, M. Burelle, G. Castagna.
Slides of the presentation given at FOSAD school (september 2002)
<a href="ftp://ftp.ens.fr/pub/di/users/castagna/SLIDES/cduce-sec.ps.gz">(download
ps.gz)</a></li>
</li>
</ul>
</box>
......
type XML_elem = <(_)>XML;;
type XML = [ (XML_elem | Char)* ];;
type PHP = <php>[PCDATA];;
let fun banner (title : Any, subtitle : Any) : XML =
......@@ -17,7 +18,8 @@ let fun box (title : Any, subtitle : Any, name : Any, content : XML) : XML =
!content
]];;
let fun convert (XML_elem | Char | XML -> XML)
let fun convert (XML_elem | Char | XML | PHP -> XML)
| <php> s -> "<?php" @ s @ "?>"
| <box ({ title=t }
& ({ subtitle=st } | (st := `nil))
& ({ link=name } | (name := `nil)) )>x ->
......@@ -39,8 +41,7 @@ let src =
let conv : XML = convert src;;
let out : String =
[ '<?xml version="1.0" encoding="iso-8859-1"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
[ '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">' ]
@
(transform convert src with x -> print_xml 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