diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-25 19:10:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-25 19:10:34 +0000 |
| commit | 9f67551cf99ccf2f1d6324f703b07596f5120d50 (patch) | |
| tree | f83a243d4f06b823f70ccafa105d2d960e5f097a /src/ChangeLog | |
| parent | 34e65d98b111655f53e73f8ed59589d5b58ab98c (diff) | |
| download | open-axiom-9f67551cf99ccf2f1d6324f703b07596f5120d50.tar.gz | |
* utils/command.cc (print_usage): Document --verbose.
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 73a80493..5d8b1a3e 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net> + * utils/command.cc (print_usage): Document --verbose. + +2013-05-25 Gabriel Dos Reis <gdr@integrable-solutions.net> + * algebra/indexedp.spad.pamphlet (IndexedDirectProductObject): Define Rep, do not use base-domain form. |