diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-12-29 15:17:00 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-12-29 15:17:00 +0000 |
| commit | d6e1db9b19a58fd6298e3d37eb6ec25f34ff191a (patch) | |
| tree | c7b7eba9c36bd249d019d6457abad148d051a8d7 /src/interp/ht-util.boot | |
| parent | 9c532285f28b723a3f70fc4eba19e3856ecbd3dd (diff) | |
| download | open-axiom-d6e1db9b19a58fd6298e3d37eb6ec25f34ff191a.tar.gz | |
Diffstat (limited to 'src/interp/ht-util.boot')
| -rw-r--r-- | src/interp/ht-util.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/ht-util.boot b/src/interp/ht-util.boot index ccb4c3f3..0db29cdc 100644 --- a/src/interp/ht-util.boot +++ b/src/interp/ht-util.boot @@ -230,11 +230,11 @@ basicStringize s == s = '"{\em $}" => '"{\em \%}" s s = '_$ => '"\%" - PRINC_-TO_-STRING s + toString s stringize s == string? s => s - PRINC_-TO_-STRING s + toString s htQuote s == -- wrap quotes around a piece of hyperTeX @@ -396,7 +396,7 @@ htMakeTemplates(templateList, numLabels) == [[substLabel(i, template) for template in templateList] for i in 1..numLabels] where substLabel(i, template) == cons? template => - INTERN strconc(first template, PRINC_-TO_-STRING i, rest template) + INTERN strconc(first template, toString i, rest template) template templateParts template == |