diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-10-22 17:15:56 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-10-22 17:15:56 +0000 |
| commit | eaa1adc1cb6ed9ec07ff56614700fe713ba6667c (patch) | |
| tree | c37aeb6ed1ebfe0adbe0ced27a1402aa4dad043a /src/algebra/lodop.spad.pamphlet | |
| parent | 5da95c1b34152d06c776e1c446a51c6703b46cc6 (diff) | |
| download | open-axiom-eaa1adc1cb6ed9ec07ff56614700fe713ba6667c.tar.gz | |
* interp/br-op2.boot (htSayExplicitExports): Don't forget possible
constant marker in exported signatures.
* interp/cattable.boot (simpHas): Likewise.
* interp/format.boot (form2String1): Likewise.
* interp/i-eval.boot (evaluateSignature): Likewise.
* interp/i-funsel.boot (hasCaty): Likewise.
(hasAttSig): Likewise.
* interp/define.boot (extendsCategory): Likewise.
(extendsCategoryBasic): Likewise.
(catExtendsCat?): Likewise.
(mkExportFromDescription): New.
(mkCategoryPackage): Use it.
* boot/tokens.boot: Add new selectors: mapOpsig, mapOperation,
mapPredicate, and mapImpl.
Diffstat (limited to 'src/algebra/lodop.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions