From 6571d731c239396887164dec5573e1c84ee2b51d Mon Sep 17 00:00:00 2001 From: alfredoport Date: Tue, 2 Sep 2008 23:40:50 +0000 Subject: Use OpenAxiom in Hyperdoc pages. --- src/ChangeLog | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index d916bd36..ebc7e957 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2008-09-02 Alfredo Portes + + * hyper/util.ht: Use OpenAxiom name in Hyperdoc pages. + * hyper/rootpage.ht: Likewise. + 2008-09-02 Gabriel Dos Reis * algebra/syntax.spad.pamphlet (Literal): New. -- cgit v1.2.3