diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-17 02:36:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-17 02:36:50 +0000 |
commit | 4c62f989b0c11eb9d3e6c04d966d108fd842fe5d (patch) | |
tree | 58d7faf9768f563e092598279e4f19e1291dbdf4 /src/algebra/Makefile.pamphlet | |
parent | 5b0bfceb3efc34578e1de66194b835bb48009466 (diff) | |
download | open-axiom-4c62f989b0c11eb9d3e6c04d966d108fd842fe5d.tar.gz |
* algebra/catdef.spad.pamphlet (LeftLinearSet): Weaken requirement
on argument.
(RightLinearSet): Likewise.
(LinearSet): Likewise.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 8a88d732..3149256b 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -264,7 +264,8 @@ $(OUT)/LOGIC.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) $(OUT)/SGROUP-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/ABELSG.$(FASLEXT) $(OUT)/ABELSG-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/LLINSET.$(FASLEXT) +$(OUT)/LMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/LLINSET.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) $(OUT)/RMODULE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/RLINSET.$(FASLEXT) $(OUT)/BMODULE.$(FASLEXT): $(OUT)/LMODULE.$(FASLEXT) \ $(OUT)/RMODULE.$(FASLEXT) $(OUT)/SGROUP.$(FASLEXT) |