diff options
author | dos-reis <gdr@axiomatics.org> | 2010-12-15 10:00:12 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-12-15 10:00:12 +0000 |
commit | ebafd5f858e29cc75f89e098cd8d564cb7d92144 (patch) | |
tree | 5ae13dc0066a75644dffbf91fad2ea210f36bc71 /src/scripts/tex | |
parent | a03f99212855569fc0298734521a6468df4b2e00 (diff) | |
download | open-axiom-ebafd5f858e29cc75f89e098cd8d564cb7d92144.tar.gz |
* boot/tokens.boot: symbolName is now a builtin function.
* interp/sys-utility.boot (stringImage): New.
* interp/format.boot (form2String1): Use it. Tidy.
Diffstat (limited to 'src/scripts/tex')
0 files changed, 0 insertions, 0 deletions