new(text, old_name, new_name, comment, singleton = false) public

Creates a new Alias with a token stream of text that aliases old_name to new_name, has comment and is a singleton context.

Show source
Register or log in to add new notes.