diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-08-19 09:28:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-08-19 09:28:19 +0000 |
| commit | 2b21dbe204cbf48aefdf0f2ac591d4f05722c4df (patch) | |
| tree | d0d404da7bfe9ca5a6d096c708dd180a4c937d63 /src/ChangeLog | |
| parent | 9b0a1395071e204c7f85473809c751e39e5adbb8 (diff) | |
| download | open-axiom-2b21dbe204cbf48aefdf0f2ac591d4f05722c4df.tar.gz | |
* interp/category.boot (mkOr): Taken environment as parameter.
Adjust callers.
(mkOr2): Likewise.
(mkAnd): Likewise.
(mkAnd2): Likewise.
(FindFundAncs): Likewise.
(CatEval): Likewise.
(AncestorP): Likewise.
(CondAncestorP): Likewise.
(DescendantP): Likewise.
* interp/compiler.boot (compMapCond): Likewise.
(compMapCond'): Likewise.
* interp/define.boot (formatPred): Likewise.
(formatInfo): Likewise.
(addInfo): Likewise.
(knownPred): Likewise.
* interp/functor.boot (InvestigateConditions): Likewise.
(ICformat): Likewise.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index a955a89f..e8c5bec1 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,24 @@ +2011-08-19 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/category.boot (mkOr): Taken environment as parameter. + Adjust callers. + (mkOr2): Likewise. + (mkAnd): Likewise. + (mkAnd2): Likewise. + (FindFundAncs): Likewise. + (CatEval): Likewise. + (AncestorP): Likewise. + (CondAncestorP): Likewise. + (DescendantP): Likewise. + * interp/compiler.boot (compMapCond): Likewise. + (compMapCond'): Likewise. + * interp/define.boot (formatPred): Likewise. + (formatInfo): Likewise. + (addInfo): Likewise. + (knownPred): Likewise. + * interp/functor.boot (InvestigateConditions): Likewise. + (ICformat): Likewise. + 2011-08-18 Alfredo Portes <doyenatccny@gmail.com> * sman/sman.c: Do not try to start graphic components |