diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-20 22:07:57 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-20 22:07:57 +0000 |
commit | 1f8dd2c2a72ad4ae908ca199bcaa066caf5c409d (patch) | |
tree | 665d7b523d5c65eb2d2247e7a8a8909ac6778480 /INSTALL | |
parent | 93663864fcee8461c99873dabb6ae4a7fae590e7 (diff) | |
download | open-axiom-1f8dd2c2a72ad4ae908ca199bcaa066caf5c409d.tar.gz |
* interp/compiler.boot (compMacro): Honor $verbose.
* interp/modemap.boot (putDomainsInScope): Likewise.
* interp/wi1.boot (compMacro): Likewise.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions