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.in | |
| 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.in')
| -rw-r--r-- | src/algebra/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 3a7c745b..a56827df 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -310,7 +310,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) |