diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-09 18:40:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-09 18:40:38 +0000 |
| commit | 9d577a9fe12067a41ed4e60adb7edfba30996788 (patch) | |
| tree | f8d95a5e091e45502a2bfeb22847d244cbc84fed /INSTALL | |
| parent | 1e509eda4fa81af3f5954f50345dd3bc88c9252c (diff) | |
| download | open-axiom-9d577a9fe12067a41ed4e60adb7edfba30996788.tar.gz | |
* algebra/domain.spad.pamphlet (ConstructorKinid): New domain.
(Constructor): Likewise.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CTORKIND.
(axiom_algebra_layer_user): Include CTOR.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions