diff options
author | dos-reis <gdr@axiomatics.org> | 2008-01-20 21:17:21 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-01-20 21:17:21 +0000 |
commit | 92db1817aed73ac8a38e9d3070a021d7153ca1ba (patch) | |
tree | 1e59d7655578549ff3d3f45084d9f657cd730572 /src/algebra/Makefile.pamphlet | |
parent | 7fc5f46ef3c26ff7b1c5a5876736f9a1c27c3c13 (diff) | |
download | open-axiom-92db1817aed73ac8a38e9d3070a021d7153ca1ba.tar.gz |
* algebra/syntax.spad.pamphlet (ElaboratedExpression): New.
* algebra/any.spad.pamphlet: Rename ObjectProperty to Property.
* algebra/exposed.lsp.pamphlet: Likewise.
* algebra/Makefile.pamphlet (axiom_algebra_layer_5): Include
ELABEXPR.o
* share/algebra: Update databases.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r-- | src/algebra/Makefile.pamphlet | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 53ee408b..114935b0 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -205,7 +205,7 @@ axiom_algebra_layer_0 = \ KOERCE.o KONVERT.o MSYSCMD.o ODEIFTBL.o \ OM.o OMCONN.o OMDEV.o OUT.o \ PRIMCAT.o PRINT.o PTRANFN.o SPFCAT.o \ - TYPE.o UTYPE.o PROPLOG.o OBJPROP.o \ + TYPE.o UTYPE.o PROPLOG.o PROPERTY.o \ SYNTAX.o axiom_algebra_layer_0_nrlibs = \ @@ -309,7 +309,7 @@ axiom_algebra_layer_4 = \ REPDB.o RFDIST.o RIDIST.o RMODULE.o \ SEXCAT.o SGROUP.o SGROUP-.o SPACEC.o \ SPLNODE.o STEP.o SUCH.o TEX1.o \ - UDVO.o YSTREAM.o PAIR.o ENV.o + UDVO.o YSTREAM.o PAIR.o ENV.o axiom_algebra_layer_4_nrlibs = \ $(axiom_algebra_layer_4:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) @@ -340,7 +340,7 @@ axiom_algebra_layer_5 = \ ODVAR.o OPQUERY.o ORDFIN.o ORDMON.o \ PATMATCH.o PERMCAT.o PDRING.o PDRING-.o \ SDVAR.o SUP2.o TRIGCAT.o TRIGCAT-.o \ - ULS2.o UP2.o + ULS2.o UP2.o ELABEXPR.o axiom_algebra_layer_5_nrlibs = \ $(axiom_algebra_layer_5:.$(OBJEXT)=.NRLIB/code.$(OBJEXT)) |