aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-08-04 21:04:51 +0000
committerdos-reis <gdr@axiomatics.org>2011-08-04 21:04:51 +0000
commit83bcceb281c2de61a83142e49093a985379347db (patch)
tree0a3401a6af3d11db22d63b2bde5d94fa5576bd65 /src/ChangeLog
parent9a593e3b395c1ba0c6036760c12713d7485f8c54 (diff)
downloadopen-axiom-83bcceb281c2de61a83142e49093a985379347db.tar.gz
* boot/ast.boot (bfFlattenSeq): Rewrite.
(bfMKPROGN): Tidy.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog5
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