diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-23 19:27:51 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-23 19:27:51 +0000 |
| commit | 2f1248f84e09ddbb48e5ef0700ee61463da0be41 (patch) | |
| tree | 06336eff7d07b785481765f6bf48667f67df9184 /src/algebra/Makefile.pamphlet | |
| parent | 007980660ba03555922525f9f7ee5b0f59ef41b1 (diff) | |
| download | open-axiom-2f1248f84e09ddbb48e5ef0700ee61463da0be41.tar.gz | |
* algebra/strap/TSETCAT.lsp: Remove.
* algebra/strap/TSETCAT-.lsp: Likewise.
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
| -rw-r--r-- | src/algebra/Makefile.pamphlet | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 5e09d224..1d9e2e9b 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -150,8 +150,8 @@ axiom_algebra_bootstrap = \ RCAGG- RING RING- \ RNG RNS RNS- SETAGG \ SETAGG- SINT \ - STAGG STAGG- SYMBOL TSETCAT \ - TSETCAT- UFD UFD- ULSCAT \ + STAGG STAGG- SYMBOL \ + UFD UFD- ULSCAT \ UPOLYC UPOLYC- URAGG URAGG- \ VECTOR @@ -168,8 +168,8 @@ axiom_algebra_bootstrap_last_layer = \ PSETCAT- QFCAT QFCAT- \ RNS RNS- \ SINT \ - SYMBOL TSETCAT \ - TSETCAT- ULSCAT \ + SYMBOL \ + ULSCAT \ UPOLYC UPOLYC- \ VECTOR @@ -807,7 +807,7 @@ axiom_algebra_layer_19 = \ SET SPECOUT SQMATRIX SWITCH \ SYSSOLP UTSCAT \ UTSCAT- VARIABLE WFFINTBS SPADPRSR \ - PARSER PROPFRML + PARSER PROPFRML TSETCAT TSETCAT- axiom_algebra_layer_19_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_19)) |