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/lib/emupty.c | |
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/lib/emupty.c')
0 files changed, 0 insertions, 0 deletions