diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-12-12 17:35:47 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-12-12 17:35:47 +0000 |
| commit | 4b9f947cd94180f651cf9c0110d034b3e8c45756 (patch) | |
| tree | 11a0a67cc1fcb0d8f7a4bfd61608d6de79474a91 /src/interp | |
| parent | a07ce88c59db4ceea768818d328a559c7b1c0b47 (diff) | |
| download | open-axiom-4b9f947cd94180f651cf9c0110d034b3e8c45756.tar.gz | |
* domain.spad (showSummary$Domain): New.
Diffstat (limited to 'src/interp')
0 files changed, 0 insertions, 0 deletions