symbol should be preferred. Or those that go back further away in the buffer? Think about HTML output with mouse-over. Or mouse-click. Find a way of solving the scrolling problems. <pre> and <table> side by side, each with its scroll bar, would be nice.

* document that --depend may produce inaccurate dependencies for parser.cmi and that it is recommended to use --raw-depend --ocamldep "ocamldep -modules" and work from there (which is what ocamlbuild does).

le cours de compilation où on démarre avec une grammaire à trous), par exemple les non-terminaux inaccessibles* add a way of turning off the "unused token" warning for a specific token (or for all of them) This is legitimate because the lexer might be designed to produce certain tokens that the parser does not use at all.