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

Original author: cvscast Date: 2003-01-15 10:46:28+00:00

[r2003-01-15 10:43:58 by cvscast] Empty log message
Original author: cvscast Date: 2003-01-15 10:46:28+00:00
8210f153 · Pietro Abate · 94b3e6a2 · 8210f153 · 8210f153
Commit 8210f153 authored Oct 05, 2007 by Pietro Abate
--- a/web/index2.xml
+++ b/web/index2.xml
 <?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>


--- a/web/macros2.cd
+++ b/web/macros2.cd
 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 =