diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-20 14:33:39 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-20 14:33:39 +0000 |
commit | cb1eff07e9bc02df65fd78b1dc6241f3fb07e95b (patch) | |
tree | b026780521f7d7cf36a22fc913b925de65fd3404 /src/ChangeLog | |
parent | 7d15f46553324afd01352f85a6b6f57f259fd64a (diff) | |
download | open-axiom-cb1eff07e9bc02df65fd78b1dc6241f3fb07e95b.tar.gz |
* interp/parse.boot (transSeq): Aggregate branches of toplevel
conditionals so that implications propagate down the pipe.
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 38b6a04e..dd5588ec 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2011-02-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/parse.boot (transSeq): Aggregate branches of toplevel + conditionals so that implications propagate down the pipe. + 2011-02-15 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/compiler.boot (coerceExtraHard): Explicitly fail if |