diff options
author | Bill Page <bill.page@newsynthesis.org> | 2016-04-05 11:53:56 -0400 |
---|---|---|
committer | Bill Page <bill.page@newsynthesis.org> | 2016-04-05 11:53:56 -0400 |
commit | 9be366caa7d9ca6d2c851f93939ad7d569d78aa8 (patch) | |
tree | b6175850a546c18c473d0dc5ca2d9de82db914ca /src/doc/gloss.text | |
parent | 3d46fd5b7318beb00cfb780389650fcfe4b45065 (diff) | |
download | open-axiom-9be366caa7d9ca6d2c851f93939ad7d569d78aa8.tar.gz |
Add enumerate to domains that have Finite
Port change from FriCAS https://github.com/fricas/fricas/commit/dbf6a9b559e6872f5a3baa7e55a1c57130f1c335
Diffstat (limited to 'src/doc/gloss.text')
0 files changed, 0 insertions, 0 deletions