diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-19 07:20:55 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-19 07:20:55 +0000 |
commit | c6179efd4a1f1770d4d31415582eabebbe2ab6a0 (patch) | |
tree | b97b313c66be49e76f6f5fcc7e387ab362105c19 /src/ChangeLog | |
parent | a4a45e923a2435574c09619da442fd15e71b2652 (diff) | |
download | open-axiom-c6179efd4a1f1770d4d31415582eabebbe2ab6a0.tar.gz |
* boot/ast.boot (%Module): Now take three arguments.
* boot/parser.boot (bpModuleInterface): Rename from bpExports.
(bpModuleExports): New.
(bpModule): Now allow specification of exported names.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 2d62f92f..b48dee15 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,10 @@ +2011-04-19 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * boot/ast.boot (%Module): Now take three arguments. + * boot/parser.boot (bpModuleInterface): Rename from bpExports. + (bpModuleExports): New. + (bpModule): Now allow specification of exported names. + 2011-04-17 Gabriel Dos Reis <gdr@cs.tamu.edu> * boot/tokens.boot: Translate maxIndex to MAXINDEX. |