From 8f409fc75c64b9c486ec74419de9785c00629a17 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Tue, 9 Dec 2008 16:14:56 +0000 Subject: * algebra/term.spad.pamphlet: New. Implement Arity and OperatorCategory. * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include ARITY. (axiom_algebra_layer_16): Include OPERCAT. * share/algebra: Update databases. --- src/ChangeLog | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index e7b02dea..96534806 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,11 @@ +2008-12-09 Gabriel Dos Reis + + * algebra/term.spad.pamphlet: New. Implement Arity and + OperatorCategory. + * algebra/Makefile.pamphlet (axiom_algebra_layer_15): Include ARITY. + (axiom_algebra_layer_16): Include OPERCAT. + * share/algebra: Update databases. + 2008-12-08 Gabriel Dos Reis * interp/compiler.boot (compRetractAlternative): Handle domains -- cgit v1.2.3