Miscellaneous commands

parse $\lbrace$in module :$\rbrace$ term .

Causes the specified term to be parsed using the signature of the given module. If the in clause is omitted, the current module is assumed.

select module .

Selects a named module to be the current module. All commands that require a module refer to the current module, unless a module is explicitly given. The current module is usually the last module entered or used; for example, after the command show module AMODULE, the AMODULE module becomes the current module.

set protect module on . / set protect module off .

Adds or removes the named module from the set of modules that are automatically imported in protecting mode in every module.

set extend module on . / set extend module off .

Adds or removes the named module from the set of modules that are automatically imported in extending mode in every module.

set include module on . / set include module off .

Adds or removes the named module from the set of modules that are automatically imported in including mode in every module.

set verbose on . / set verbose off .

Controls display of extra information, depending on command. Default is off.

set clear memo on . / set clear memo off .

Controls whether the memoization tables are cleared before each command.