diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-05-24 03:23:59 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-05-24 03:23:59 +0000 |
| commit | fbcb9ebe438100f7a549329ae14668cd27fde508 (patch) | |
| tree | ea4ac9322ecca78bc976418a33677cf8ec88b6d0 /src/algebra/term.spad.pamphlet | |
| parent | 698aa5abf97234248cf7f59216759d9cc0d2290b (diff) | |
| download | open-axiom-fbcb9ebe438100f7a549329ae14668cd27fde508.tar.gz | |
* boot/tokens.boot: "@" is now a new keyword.
* boot/ast.boot (bfRestrict): New.
(bpTyped): Rename from bpTagged. Accept type restriction.
* boot/utility.boot (drop): Restrict the result to a %List.
Diffstat (limited to 'src/algebra/term.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions