Updating some output tests in test-suite:

InitSyntax, PrintInfos: consequence of r16467 which improved printing of sigT
Notations2: consequence of r16470 on using notations while asked to
  print the body of an abbreviation
Notations: fix from r16417 was incomplete (and by the way associated
  to a wrong commit message)
names: related to commit r16205 which aligned "In environment" with
  the variables of the environment (maybe should it be better to still have
  "In environment" printed after "Error: " but I don't know how to do
  it with a forced newline).

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

0 files changed, 0 insertions, 0 deletions