diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-01-17 18:03:58 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-01-17 18:03:58 +0000 |
| commit | ae24ace4c0535a261375e21af707befac3060ad9 (patch) | |
| tree | 6ea4a32df4fbb9b0c548cf4eb9e112279768ae07 /src/include/fnct_key.H1 | |
| parent | 7b3a06b249e272857c858c6ab7ab37c8f1e128e1 (diff) | |
| download | open-axiom-ae24ace4c0535a261375e21af707befac3060ad9.tar.gz | |
* interp/br-saturn.boot (htpMakeEmptyPage): Use deprecated GENTEMP
instead of GENSYM.
* interp/ht-util.boot (htpName): Likewise.
(mkCurryFun): Likewise.
(htRadioButtons): Likewise.
(htBcRadioButtons): Likewise
* interp/br-con.boot (kisValidType): Use $LangSupportTypes.
Diffstat (limited to 'src/include/fnct_key.H1')
0 files changed, 0 insertions, 0 deletions