diff options
author | dos-reis <gdr@axiomatics.org> | 2011-03-18 03:06:05 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-03-18 03:06:05 +0000 |
commit | 378ef73f2cd7a54f405035b3b569b395554377d7 (patch) | |
tree | 88188654062a8f1410f57db32498bff61efc1b29 /src/testsuite/interpreter/aw-410.input | |
parent | a101ddeb749d481e984a843de98e560e88af4c96 (diff) | |
download | open-axiom-378ef73f2cd7a54f405035b3b569b395554377d7.tar.gz |
* utils/sexpr.H: Support more specialized s-expressions.
* utils/sexpr.cc: Likewise.
Diffstat (limited to 'src/testsuite/interpreter/aw-410.input')
0 files changed, 0 insertions, 0 deletions