Improving error messages in the presence of utf-8 characters

- A more clever strategy than the use of null spaces (in revision 12058)
  for collapsing multi-byte utf-8 characters into one character
  (toplevel.ml, 8.3 and trunk only)
- Fixing discard_to_dot in the presence of iterated lexing failures
- Made the lexer state aligned with the start of utf-8 chars instead
  of staying in the middle of multi-byte chars when a token is not
  recognized (lexer.ml4)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12891 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions