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/input/symbol.input.pamphlet | |
| 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/input/symbol.input.pamphlet')
0 files changed, 0 insertions, 0 deletions