new(text, old_name, new_name, comment, singleton = false)
Class Public methods
Creates a new Alias with a token stream of
text
that aliases old_name
to
new_name
, has comment
and is a
singleton
context.
Creates a new Alias with a token stream of
text
that aliases old_name
to
new_name
, has comment
and is a
singleton
context.
Please login to continue.