diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-23 14:44:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-23 14:44:07 +0000 |
| commit | dac28fb009d9c27cb8e0f9e453feb8a630b7e145 (patch) | |
| tree | 9628eb917415643909a5f14ee14751eded423cda /src/doc/ps/2DOptAd.ps | |
| parent | 5c81f5a89627a71d4e0054730eea47cc99a9cef2 (diff) | |
| download | open-axiom-dac28fb009d9c27cb8e0f9e453feb8a630b7e145.tar.gz | |
* interp/sys-constants.boot ($SystemInlinableConstructorNames):
Include Maybe.
Diffstat (limited to 'src/doc/ps/2DOptAd.ps')
0 files changed, 0 insertions, 0 deletions