diff options
author | dos-reis <gdr@axiomatics.org> | 2011-12-03 04:24:04 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-12-03 04:24:04 +0000 |
commit | e9584df65c00f385474f9e4dd56b95b51e1efb65 (patch) | |
tree | aa06687a6b7022920ab9668c3f3285728cbed388 /src/doc | |
parent | 543e6d9ca95c41ae2f9bf7c45c98121cc94602ed (diff) | |
download | open-axiom-e9584df65c00f385474f9e4dd56b95b51e1efb65.tar.gz |
* interp/g-util.boot (hasNoLeave?): Move from g-opt.boot.
(mkLabelled): New.
(mkBind): Likewise.
* interp/g-opt.boot (groupVariableDefinitions): Use them.
* algebra/aggcat.spad.pamphlet (ListAggregate) [merge!]: Declare
local variables `r' and `s' before assigning to them.
Diffstat (limited to 'src/doc')
0 files changed, 0 insertions, 0 deletions