diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-07-10 12:23:59 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-07-10 12:23:59 +0000 |
| commit | e69eb5b6621cadee088a0d621cb61b16676acd91 (patch) | |
| tree | 991ffd675e1ba7c9d3565a2d332314eeaf1f590d /src/scripts/tex | |
| parent | ceb8df6c892807d0b03b868bbf0e5b78b802ee48 (diff) | |
| download | open-axiom-e69eb5b6621cadee088a0d621cb61b16676acd91.tar.gz | |
* interp/c-util.boot (categoryExports): New.
* interp/category.boot (mkCategory): Use it.
(DropImplementations): Tidy.
Diffstat (limited to 'src/scripts/tex')
0 files changed, 0 insertions, 0 deletions