diff options
author | dos-reis <gdr@axiomatics.org> | 2009-08-20 11:52:58 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-08-20 11:52:58 +0000 |
commit | b890b870ba6641b7670fce7827f5928c4383dd9c (patch) | |
tree | 50a6654341c29ed95015dfb654e9fdd8428d2bad /src/ChangeLog | |
parent | 71cb17550511a6abb225030cb25c16bef8f31ef5 (diff) | |
download | open-axiom-b890b870ba6641b7670fce7827f5928c4383dd9c.tar.gz |
Discontinue computation of difference between "old" and "new" Boot.
* boot/ast.boot (bfGetOldBootName): Remove.
(bfSameMeaning): Likewise.
(bfReName): Don't compute the diff between old and new Boot.
* boot/translator.boot ($translatingOldBoot): Remove.
(AxiomCore::%sysInit): Don't set it.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index ebda4efd..a2010810 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,12 @@ +2009-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> + + Discontinue computation of difference between "old" and "new" Boot. + * boot/ast.boot (bfGetOldBootName): Remove. + (bfSameMeaning): Likewise. + (bfReName): Don't compute the diff between old and new Boot. + * boot/translator.boot ($translatingOldBoot): Remove. + (AxiomCore::%sysInit): Don't set it. + 2009-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu> * boot/ast.boot: Consistently prefix AST names by "%". |