diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-14 02:56:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-14 02:56:26 +0000 |
| commit | 5f63d42cf83ebce312a44c5d596e85c6ae879ab0 (patch) | |
| tree | bb5c1c4cc55e493d764cc6b4f4f645a4d283f527 /src/ChangeLog | |
| parent | 0f0562ca9672568f3f8ca33ec6a17ba64c36c015 (diff) | |
| download | open-axiom-5f63d42cf83ebce312a44c5d596e85c6ae879ab0.tar.gz | |
* interp/category.boot (SigListMember): Remove as deadcode.
(SigEqual): Remove.
(predicateImplies): Rename from PredImplies. Rework it to match
documentation. Adjust callers.
(CondAncestorP): Adjust arguments in call to predicateImplies.
(JoinInner): Likewise.
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 184aee48..89355641 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,14 @@ 2011-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/category.boot (SigListMember): Remove as deadcode. + (SigEqual): Remove. + (predicateImplies): Rename from PredImplies. Rework it to match + documentation. Adjust callers. + (CondAncestorP): Adjust arguments in call to predicateImplies. + (JoinInner): Likewise. + +2011-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> + * lisp/core.lisp.in: Export %sysInit. * interp/sys-driver.boot (%sysInit): Don't redefine. Reset function binding. |