diff options
| author | dos-reis <gdr@axiomatics.org> | 2012-06-01 09:09:23 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2012-06-01 09:09:23 +0000 |
| commit | 967f23ac31a0833c680ba4144c28e27bae8c7ee1 (patch) | |
| tree | ece4e7f1d9efc4568b617922075fee8851ad6a9a /src/ChangeLog | |
| parent | 04db207b8714da06dd02bdf68163604aeb5e401c (diff) | |
| download | open-axiom-967f23ac31a0833c680ba4144c28e27bae8c7ee1.tar.gz | |
* boot/ast.boot (%LoadUnit): Add field for enclosing function.
Remove references to $op.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 1587853c..045700cd 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2012-06-01 Gabriel Dos Reis <gdr@cs.tamu.edu> + * boot/ast.boot (%LoadUnit): Add field for enclosing function. + Remove references to $op. + +2012-06-01 Gabriel Dos Reis <gdr@cs.tamu.edu> + * boot/ast.boot (%LoadUnit): Add fields for side conditions. * boot/parser.boot: Adjust. |