X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambda_delta%2Fbin%2Fxhtbl%2FtextLexer.mll;h=2ed6742c954bfbf70a1903cbda4e59b148cc54f5;hb=ce747c4d4c3a087e1f59dca81b7b4962ffa8e02b;hp=f1ea9a61ae4bb21cd93509b6b384a2f46ed768ea;hpb=2b58d92062882492dd024a1196b6f8b788ffe5c6;p=helm.git

diff --git a/helm/www/lambda_delta/bin/xhtbl/textLexer.mll b/helm/www/lambda_delta/bin/xhtbl/textLexer.mll
index f1ea9a61a..2ed6742c9 100644
--- a/helm/www/lambda_delta/bin/xhtbl/textLexer.mll
+++ b/helm/www/lambda_delta/bin/xhtbl/textLexer.mll
@@ -25,4 +25,10 @@ rule token = parse
    | "name"   { out "name"; TP.NAME             }   
    | "table"  { out "table"; TP.TABLE           }
    | "class"  { out "class"; TP.CSS             }
+   | "(*"     { block lexbuf; token lexbuf      }
    | eof      { TP.EOF                          }
+and block = parse
+   | "*)"     { ()                              }
+   | "(*"     { block lexbuf; block lexbuf      }
+   | STR      { block lexbuf                    }
+   | _        { block lexbuf                    }