diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-07 08:07:55 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-07 08:07:55 +0000 |
| commit | fe37a8dc69fe54f48078fd893a7490555ce804ed (patch) | |
| tree | 436d7b354cb522a74d81f0f4d4c1211470a04b9b /src/ChangeLog | |
| parent | 410c65a878026cb16dd5a3eece5271eb60b782b1 (diff) | |
| download | open-axiom-fe37a8dc69fe54f48078fd893a7490555ce804ed.tar.gz | |
* algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 59b3b342..be8ec59f 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net> + + * algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain. + 2013-04-07 Gabriel Dos Reis <gdr@integrable-solutions.net> * gui/widget.h: Remove. Qt's meta object system does no play nice |