diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-11-17 14:51:36 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-11-17 14:51:36 +0000 |
| commit | b362f3e1e8c7b4a79053b25a57296ff7be1c5ddf (patch) | |
| tree | b311040842bb219a6b7c35163db638a6c7dc476b /src/hyper | |
| parent | 3f40cfa51fa0a3827ff0e06318103be5f63e367b (diff) | |
| download | open-axiom-b362f3e1e8c7b4a79053b25a57296ff7be1c5ddf.tar.gz | |
* algebra/syntax.spad.pamphlet (StepAst): New.
(SpadAstExports): Add case for StepAst.
(SpadAst): Implement.
Diffstat (limited to 'src/hyper')
0 files changed, 0 insertions, 0 deletions