From 24790cf3e1301cb46cbd9b03dbe064722e7b44e8 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Tue, 15 Jul 2008 02:11:27 +0000
Subject: 	* share/algebra: Update databases. 	*
 algebra/Makefile.pamphlet (axiom_algebra_layer_9): Add SIG. 	*
 algebra/syntax.spad.pamphlet (Signature): New.

---
 src/algebra/Makefile.pamphlet | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/algebra/Makefile.pamphlet')

diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index c5b65e83..a455d264 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -314,7 +314,7 @@ axiom_algebra_layer_5 = \
   MRF2     NARNG    NARNG-   NSUP2    ODVAR    OPQUERY  \
   ORDFIN   ORDMON   PATMATCH PERMCAT  PDRING   PDRING-  \
   SDVAR    SUP2     TRIGCAT  TRIGCAT- ULS2     UP2      \
-  ELABEXPR OCAMON
+  ELABEXPR OCAMON   
 
 axiom_algebra_layer_5_nrlibs = \
 	$(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_5))
@@ -413,7 +413,7 @@ axiom_algebra_layer_9 = \
   PTFUNC2  RADCAT   RADCAT-  RATRET   RADUTIL  UPXS2    \
   XFALG    ZLINDEP  BBTREE   LSAGG    LSAGG-   SRAGG    \
   SRAGG-   STRICAT  ODEIFTBL NIPROB   ODEPROB  OPTPROB  \
-  PDEPROB  COLOR
+  PDEPROB  COLOR    SIG
 
 
 axiom_algebra_layer_9_nrlibs = \
-- 
cgit v1.2.3