The Coq mailing list

[Chris Dams <chris.dams.nl AT gmail.com>]

Dear all,

After upgrading from 8.2pl2 to 8.3pl3, I noticed that records are no
longer printed as (constructor_name arg1 ... argn) but instead as {|
name1 := value1; ...; namen := valuen |}. I find this notation
absolutely terrible because it makes the instances of records much
longer. hypotheses that used to fit on one line now take FIVE. Please
tell me how to switch it off.

All the best,
Chris