diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-04 21:04:51 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-04 21:04:51 +0000 |
commit | 83bcceb281c2de61a83142e49093a985379347db (patch) | |
tree | 0a3401a6af3d11db22d63b2bde5d94fa5576bd65 /src/ChangeLog | |
parent | 9a593e3b395c1ba0c6036760c12713d7485f8c54 (diff) | |
download | open-axiom-83bcceb281c2de61a83142e49093a985379347db.tar.gz |
* boot/ast.boot (bfFlattenSeq): Rewrite.
(bfMKPROGN): Tidy.
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 2cdd0ced..e2e85136 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2011-08-04 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * boot/ast.boot (bfFlattenSeq): Rewrite. + (bfMKPROGN): Tidy. + 2011-08-03 Gabriel Dos Reis <gdr@cs.tamu.edu> * boot/ast.boot (bfSTEP): Synthetize artificial variable for |