diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-12-12 05:18:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-12-12 05:18:09 +0000 |
| commit | 59c74f79255a713a633fc6b7ca3e18ff89d018b7 (patch) | |
| tree | 5c5efd8048fe58399dcd84d9d0f19f130e5e949e /src/interp | |
| parent | 0d6564c18ff92a96f98c235b82a0da82556e5098 (diff) | |
| download | open-axiom-59c74f79255a713a633fc6b7ca3e18ff89d018b7.tar.gz | |
* syntax.spad (nil?$Syntax): New predicate.
Diffstat (limited to 'src/interp')
0 files changed, 0 insertions, 0 deletions