diff options
| author | chaosii <yixin.cao@polyu.edu.hk> | 2008-01-17 02:59:49 +0000 |
|---|---|---|
| committer | chaosii <yixin.cao@polyu.edu.hk> | 2008-01-17 02:59:49 +0000 |
| commit | 0c13f4d0e71a9f368a02f35f70ec6c0701bbf099 (patch) | |
| tree | 828f4026a9de329cd75aa4720b146f733f1e36c6 /src/interp | |
| parent | 85ba8eb449cf6b7e8c37b989021dfb803427ae5c (diff) | |
| download | open-axiom-0c13f4d0e71a9f368a02f35f70ec6c0701bbf099.tar.gz | |
extend the case.spad case.input to test the whole Syntax domain.
Diffstat (limited to 'src/interp')
0 files changed, 0 insertions, 0 deletions