Continuing experimentation on what part of the instance of an evar

to display by default (see bc8a5357889 - 17 Oct 2014):
- not printing instances for let-in anymore even when expanded (since
  they are canonical up to conversion)
- still printing x:=x in [x:=x;x':=x] when x is directly an instance
  of another var, but not in [x:=x;x':=S x]
  This can be discussed, but if ever this is to be changed, it should
  not be printed in [x:=x;x:=?n] with ?n implicitly depending on x
  (otherwise said, variables which are not displayed in instances of
  internal evars should not contribute to the decision of writing
  x:=x in the instance).

0 files changed, 0 insertions, 0 deletions