Making display of various informations about constants more modular:

- use list of non-newline-ended phrases instead of newline-separated
  texts because newline-separated texts does not support well being
  put in boxes (e.g. ''v 2 (str"a" ++ fnl()) ++ str"b" ++ fnl()''
  prints "b" at indentation 2 while to get the expected output, one
  would have needed to have the fnl outside the box as in
  ''v 2 (str"a") ++ fnl() ++ str"b" ++ fnl()''
- also reason over lists of explicitly non-empty lines instead of
  checking for "mt" lines to skip
The reason of this is to permit nesting of printing infos.

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

0 files changed, 0 insertions, 0 deletions