aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authorchaosii <yixin.cao@polyu.edu.hk>2008-01-17 02:59:49 +0000
committerchaosii <yixin.cao@polyu.edu.hk>2008-01-17 02:59:49 +0000
commit0c13f4d0e71a9f368a02f35f70ec6c0701bbf099 (patch)
tree828f4026a9de329cd75aa4720b146f733f1e36c6 /src/interp
parent85ba8eb449cf6b7e8c37b989021dfb803427ae5c (diff)
downloadopen-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