diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-09-22 17:12:20 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-09-22 17:12:20 -0400 |
commit | 5d3756215c0141917e0a6dfc048d638d116fe462 (patch) | |
tree | 3e820ed42ed7d6327b54c1b6eb4afad7c81ebf25 /tests/rewrite.urs | |
parent | ee1639d9e3afa41c85382ab991e2229a91be4c21 (diff) |
demo/react works with interpretation
Diffstat (limited to 'tests/rewrite.urs')
0 files changed, 0 insertions, 0 deletions