From 92db1817aed73ac8a38e9d3070a021d7153ca1ba Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 20 Jan 2008 21:17:21 +0000 Subject: * 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. --- src/ChangeLog | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 64d98b6c..4b90f072 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,12 @@ +2008-01-20 Gabriel Dos Reis + + * 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. + 2008-01-19 Gabriel Dos Reis * algebra/syntax.spad.pamphlet: Rename from algebra/syntax.spad. -- cgit v1.2.3