diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-28 03:23:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-28 03:23:16 +0000 |
commit | 6058b44d19c4c9a101cfbb94923d7abd565010ee (patch) | |
tree | 51c89bf8b49d5339f4f65139c62f298f9ed0a107 /src/interp/htsetvar.boot | |
parent | e8df6a1fe9e9f218b8d9147a3de55f6d60fcc080 (diff) | |
download | open-axiom-6058b44d19c4c9a101cfbb94923d7abd565010ee.tar.gz |
* interp/sys-utility.boot (eval): Define here.
* interp/br-con.boot: Use it.
* interp/br-op1.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/server.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/sys-macros.lisp (eval): Move to sys-utility.boot.
Diffstat (limited to 'src/interp/htsetvar.boot')
-rw-r--r-- | src/interp/htsetvar.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/htsetvar.boot b/src/interp/htsetvar.boot index 1806ab76..8a768ebe 100644 --- a/src/interp/htsetvar.boot +++ b/src/interp/htsetvar.boot @@ -128,7 +128,7 @@ htSetLiterals(htPage,name,message,variable,values,functionToCall) == links := [[strconc('"",STRINGIMAGE opt), '"\newline\tab{3}", functionToCall, opt] for opt in values] htMakePage [['bcLispLinks, :links]] bcHt ["\indent{0}\newline\vspace{1} The current setting is: {\em ", - translateTrueFalse2YesNo EVAL variable, '"} "] + translateTrueFalse2YesNo eval variable, '"} "] htShowPage() htSetLiteral(htPage, val) == @@ -193,7 +193,7 @@ htShowFunctionPageContinued(htPage) == page := htInitPage(mkSetTitle(), htpPropertyList htPage) bcHt ['"\centerline{Set {\em ", setData.setName, '"}}\newline"] bcHt ['"{\em Description: } ", setData.setLabel, '"\newline\vspace{1} "] - currentValue := EVAL variable + currentValue := eval variable htMakePage [ ['domainConditions, ['Satisfies,'S,checker]], ['text,:phrase], |