diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-07 00:39:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-07 00:39:58 +0000 |
| commit | 351022a3ec02f6e131d54f3a5bcb27a8dfffbcb0 (patch) | |
| tree | 0b137b74a6663d6875e7f6d8862833f782032bd4 /src/hyper/bitmaps/ClickToSet.bitmap | |
| parent | 2eef476c721ed93b1acaaf1a77e20b5b7c73ed4f (diff) | |
| download | open-axiom-351022a3ec02f6e131d54f3a5bcb27a8dfffbcb0.tar.gz | |
* interp/c-util.boot (matchingEXIT): New.
(simplifySEQ): Use it.
Diffstat (limited to 'src/hyper/bitmaps/ClickToSet.bitmap')
0 files changed, 0 insertions, 0 deletions