summaryrefslogtreecommitdiff
path: root/src/pathcheck.sml
Commit message (Expand)AuthorAge
* Proper generation of relation names; checking that sequences existGravatar Adam Chlipala2008-10-19