diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-02 12:55:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-02 12:55:19 +0000 |
| commit | c3dea39d035f24533e2aa65309214f7ce2aa9ae6 (patch) | |
| tree | 3ff0c7970b5224c993d91be3997ada85f7eed5b0 /config | |
| parent | 50b4173dde564f17b40c4ec8f84b4e361d889d6b (diff) | |
| download | open-axiom-c3dea39d035f24533e2aa65309214f7ce2aa9ae6.tar.gz | |
* interp/c-util.boot (dbSubstituteAllQuantified): New.
* interp/define.boot (NRTmakeCategoryAlist): Use it.
(compDefineFunctor1): Likewise.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions