aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Record.v
Commit message (Expand)AuthorAge
* Better support for printing constructors with let-ins.Gravatar Hugo Herbelin2017-04-07
* Fixing #4499 (not using unnamed record field in {| |} notation).Gravatar Hugo Herbelin2017-04-07
* This adds two option tables 'Printing Record' and 'Printing Constructor'Gravatar herbelin2011-07-16