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.