]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/textParser.mly
- xhtbl: we added the real concatenation of cells (without added spaces)
[helm.git] / helm / www / lambdadelta / bin / xhtbl / textParser.mly
index 3dba122d04a9581cec3008d3c396245aced8a8f9..5873959881170bb78d3b98b0caee7e5794944542 100644 (file)
@@ -20,7 +20,7 @@ let mk_string_atom s rs =
 
 %token <int> NUM
 %token <string> TEXT 
-%token SPACE NAME TABLE CSS URI EXT SR OC CC OB CB PS OP CP AT EOF
+%token SPACE NAME TABLE CSS URI EXT SR OC CC OB CB PS CF OP CP AT EOF
 
 %start script
 %type <(string * string) list * (string * Table.table * Table.css Attr.atoms * Table.uri Attr.atoms * Table.ext Attr.atoms) list> script
@@ -45,8 +45,9 @@ text:
 ;
 
 texts:
-  | text          { [$1]     }
-  | text PS texts { $1 :: $3 }
+  | text          { [$1]                    }
+  | text PS texts { $1 :: T.Plain " " :: $3 }
+  | text CF texts { $1 :: $3                }
 ;
 
 key: