DEACTIVATE-MODULE [Public Function]

Package: holewizard (Nick name(s): :hw)

Deactivate this module.

(deactivate-module)

Returns

T for successful deactivation; NIL otherwise.

Description

Module deactivation implies:

• unregistering and unconfiguring the module's user interface (if any)
• releasing the license (if applicable))