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