X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FtextLexer.mll;h=aa8f42fe4f14ef757fb3603caa425209e30afa6e;hb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;hp=7efa9035d6e9084815beed2e5ecc6a584b1c97ae;hpb=73445ceb9d6f8a37784d8d2c73dabe800c6e0926;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/textLexer.mll b/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
index 7efa9035d..aa8f42fe4 100644
--- a/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
+++ b/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
@@ -26,13 +26,16 @@ rule token = parse
    | "("      { out "("; TP.OP                  }
    | ")"      { out ")"; TP.CP                  }   
    | "@"      { out ")"; TP.AT                  }    
-   | "space"  { out "name"; TP.SPACE            }
+   | "space"  { out "space"; TP.SPACE           }
    | "name"   { out "name"; TP.NAME             }   
    | "table"  { out "table"; TP.TABLE           }
    | "class"  { out "class"; TP.CSS             }
+   | "uri"    { out "uri"; TP.URI               }
+   | "ext"    { out "ext"; TP.EXT               }
    | eof      { TP.EOF                          }
 and str = parse
    | QT       { ""                              }
+   | "\\\\"   { "\\" ^ str lexbuf               }
    | "\\\""   { "\"" ^ str lexbuf               }
    | _ as c   { S.make 1 c ^ str lexbuf         }
 and block = parse