Token.Stream: implement new peek_nth function
Token: update the list of keywords
Key: add equal function, and the possibility to make Hashtables from keys
Token: implement the Key interface
Tdop: provide the token to the associative handlers
Tdop: make the code of prefix and infix handlers more similar
Token: forgot an end
Makefile: now generates grammar.tex. Various updates
Token.Stream: Update comment (was wrong because of peek_nth)
Parser_path: new module
Token.Stream: add debug information
Lexer: remove '>' from the list of possible element for custom symbols
Tdop: add debug informations
Parser_path: handle renaming and argument shuffling of function in Parsetree
Extlist: add function Extlist.last
Parser_path: rewrite. Clearly separate <type> from <path_to_module_name>.
Parser_expression: new module
Parsetree: new module
Pretty_print: update the HTML printer
Parser_expression: express the required separation between statements