log src/elaborate.sml

age author description
Sat, 03 Dec 2011 16:39:45 -0500 Adam Chlipala Nicer record summary error messages
Sat, 05 Nov 2011 13:12:07 -0400 Adam Chlipala Tweaks to choices of source positions to use in error messages, including for subSgn