unpublish
unpublish |
Purpose
Unpublish a symbol.
Synopsis
procedure unpublish(name:string)
Argument
|
name
|
Symbol to be removed from the dictionary
|
Further information
This procedure has the opposite effect of
publish. If the given
name does not correspond to a previously published symbol no operation is performed.
Related topics