Commit 9bc6fa44 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-01-15 10:43:58 by cvscast] Empty log message

Original author: cvscast
Date: 2003-01-15 10:46:28+00:00
parent 47dd59e1
<?xml version="1.0" standalone="yes" encoding="iso8859-1"?>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/>
<php>[
'$browser = getenv("HTTP_USER_AGENT");
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/>
<php>
<![CDATA[
$browser = getenv("HTTP_USER_AGENT");
if (preg_match("/MSIE/i", "$browser")) {
$css = "<link rel=\"stylesheet\" href=\"cduce2.css\" type=\"text/css\">";
} elseif (preg_match("/Mozilla/i", "$browser")) {
......@@ -13,7 +14,9 @@
} elseif (preg_match("/opera/i", "$browser")) {
$css = "<link rel=\"stylesheet\" href=\"cduceOpera.css\" type=\"text/css\">";
}
echo "$css";']
echo "$css";
]]>
</php>
<title>CDuce</title>
</head>
<body>
......@@ -281,7 +284,7 @@ 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];;
type PHP = <php>String;;
let fun banner (title : Any, subtitle : Any) : XML =
......
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