From 87f397a2fabcf265efb39d1be4c2b87633579e19 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 20 Nov 2008 18:18:10 +0000 Subject: * algebra/coerce.spad.pamphlet (HomotopicTo): New. * algebra/exposed.lsp.pamphlet: Expose it. * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP. --- src/ChangeLog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 4931d673..75128c99 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2008-11-20 Gabriel Dos Reis + + * algebra/coerce.spad.pamphlet (HomotopicTo): New. + * algebra/exposed.lsp.pamphlet: Expose it. + * algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include HOMOTOP. + 2008-11-20 Gabriel Dos Reis * algebra/coerce.spad.pamphlet (CoercibleFrom): New. -- cgit v1.2.3