log tests/longConst.urp

age author description
2012-07-18 Adam Chlipala Support fancy expressions in module-level 'val' declarations