Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
* include/diagnostics.H: Likewise.
* include/storage.H: Move from utils/.
|
|
|
|
|
|
Adjust callers.
* interp/define.boot (ICformat): Likewise.
* interp/lisplib.boot (predicateBitIndex): Likewise.
(predicateBitRef): Likewise.
(transHasCode): Likewise.
|
|
(CommutativeOperation): Likewise.
* algebra/Makefile.am (oa_algebra_layer_0): Include them.
|
|
requirement on first parameter.
(IndexedAggregate): Likewise.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adjust caller.
(NRTsetVector4a): Likewise. Avoid special variable for environment.
* boot/utility.boot: Add and export substSource, substTarget.
* interp/define.boot: Use them.
|
|
|
|
Take environment as second parameter. Adjust callers.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* algebra/boolean.spad.pamphlet (Logic): Move there.
(BooleanLogic): Likewise.
(PropositionalLogic): Likewise.
(PropositionalFormula): Likewise.
(PropositionalFormulaFunctions1): Likewise.
(PropositionalFormulaFunctions2): Likewise.
(KleeneTrivalentLogic): Likewise.
|
|
from nniBump. Fix thinko.
|
|
|