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

diff --git a/helm/www/lambdadelta/bin/xhtbl/textLexer.mll b/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
index 0f61349c3..7efa9035d 100644
--- a/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
+++ b/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
@@ -16,16 +16,20 @@ rule token = parse
    | QT       { let s = str lexbuf in 
                 out s; TP.TEXT s                }
    | NUM as s { out s; TP.NUM (int_of_string s) }
+   | "(*"     { block lexbuf; token lexbuf      }
    | "{"      { out "{"; TP.OC                  }
    | "}"      { out "}"; TP.CC                  }
    | "["      { out "["; TP.OB                  }
    | "]"      { out "]"; TP.CB                  }   
    | "*"      { out "*"; TP.SR                  }
    | "+"      { out "+"; TP.PS                  }
+   | "("      { out "("; TP.OP                  }
+   | ")"      { out ")"; TP.CP                  }   
+   | "@"      { out ")"; TP.AT                  }    
+   | "space"  { out "name"; TP.SPACE            }
    | "name"   { out "name"; TP.NAME             }   
    | "table"  { out "table"; TP.TABLE           }
    | "class"  { out "class"; TP.CSS             }
-   | "(*"     { block lexbuf; token lexbuf      }
    | eof      { TP.EOF                          }
 and str = parse
    | QT       { ""                              }