summaryrefslogtreecommitdiff
path: root/tests/conargs.ur
Commit message (Expand)AuthorAge
* Extend and document 'con' syntax with argumentsGravatar Adam Chlipala2011-10-15