diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-15 02:18:03 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-15 02:18:03 +0000 |
commit | f94b3a2640bf842b92f22438fca79e58aeea5da9 (patch) | |
tree | 452c3dc0a040629b6ff4f27a5b15391a7fa8f730 /src/algebra/Makefile.in | |
parent | d4dde65a0f23cef213aa03dbbb85cd2504af5b6f (diff) | |
download | open-axiom-f94b3a2640bf842b92f22438fca79e58aeea5da9.tar.gz |
* interp/g-opt.boot (quoteMode): New.
(optRetract): Use it.
(optPullback): Likewise.
Diffstat (limited to 'src/algebra/Makefile.in')
0 files changed, 0 insertions, 0 deletions