diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-29 16:22:49 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 16:22:49 +0000 |
commit | 77d293322d11ad09575a85f421796da7db471797 (patch) | |
tree | 1a8fc1949f2f9f1b443f3719efabf81147647eb9 /src/algebra/Makefile.pamphlet | |
parent | ab71577ecf6a2523916d2e7fa1510d3153f758d6 (diff) | |
download | open-axiom-77d293322d11ad09575a85f421796da7db471797.tar.gz |
* algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.
(OrderedType) [max,min]: Export and provide defaults.
(OrderedSet): Simplify.
(SetCategory) [before?]: Move to BasicType.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index ac8b758f..2d3e0908 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -215,7 +215,8 @@ $(OUT)/FLAGG.$(FASLEXT): $(OUT)/BMODULE.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \ $(OUT)/REAL.$(FASLEXT) $(OUT)/CHARZ.$(FASLEXT) \ $(OUT)/DIFFSPC.$(FASLEXT) $(OUT)/A1AGG.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/LOGIC.$(FASLEXT) \ - $(OUT)/FLAGG.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT) + $(OUT)/FLAGG.$(FASLEXT) $(OUT)/LOGIC-.$(FASLEXT) \ + $(OUT)/ORDTYPE-.$(FASLEXT) $(OUT)/SRAGG.$(FASLEXT): $(OUT)/A1AGG.$(FASLEXT) $(OUT)/ISTRING.$(FASLEXT): $(OUT)/SRAGG.$(FASLEXT) \ $(OUT)/DIFFSPC-.$(FASLEXT) $(OUT)/DIFFDOM-.$(FASLEXT) @@ -246,7 +247,8 @@ $(OUT)/BASTYPE.$(FASLEXT): $(OUT)/TYPE.$(FASLEXT) $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SETCAT-.$(FASLEXT): $(OUT)/BASTYPE.$(FASLEXT) $(OUT)/FINITE.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) -$(OUT)/ORDSET.$(FASLEXT) $(OUT)/ORDSET-.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) +$(OUT)/ORDSET.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) \ + $(OUT)/ORDTYPE.$(FASLEXT) $(OUT)/FILECAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/SEXCAT.$(FASLEXT): $(OUT)/SETCAT.$(FASLEXT) $(OUT)/PID.$(FASLEXT) \ $(OUT)/OAGROUP.$(FASLEXT) $(OUT)/LINEXP.$(FASLEXT) \ @@ -307,7 +309,7 @@ axiom_algebra_layer_0 = \ PRIMCAT PRINT PTRANFN SPFCAT TYPE UTYPE \ BMODULE BASTYPE BASTYPE- STEP LMODULE \ RMODULE ALGEBRA ALGEBRA- SGROUP SGROUP- ABELSG \ - ABELSG- ORDSET ORDSET- OASGP FILECAT SEXCAT \ + ABELSG- ORDSET OASGP FILECAT SEXCAT \ MODULE MODULE- PID OAGROUP OCAMON OAMON \ RNG ORDFIN LLINSET RLINSET LINSET OAMONS \ MKBCFUNC MKRECORD MKUCFUNC DROPT1 PLOT1 ITFUN2 \ |