summaryrefslogtreecommitdiff
path: root/tests/rec.urp
Commit message (Collapse)AuthorAge
* Termination checking allows anything in links and actionsGravatar Adam Chlipala2008-09-09