diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 22:06:29 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 22:06:29 -0800 |
commit | 4c8c8f82ac22278f998bc5325770b17c4e9c7fa5 (patch) | |
tree | 20a75675bac8366909a226d6ad177a851239abd4 /src/algebra | |
parent | 57c34813bfccfd58955608f9ec5e45f4523ef655 (diff) | |
download | open-axiom-4c8c8f82ac22278f998bc5325770b17c4e9c7fa5.tar.gz |
Remove $NRTaddForm
Use a %CompilerData slot to hold the corresponding data during the
elaboration of a capsule.
Diffstat (limited to 'src/algebra')
0 files changed, 0 insertions, 0 deletions