summaryrefslogtreecommitdiff
path: root/tests/policy2.urp
Commit message (Expand)AuthorAge
* Completely redid main Iflow logic; so far, policy and policy2 workGravatar Adam Chlipala2010-04-13