DEFINITION MODULE KermHelp; (************************************************************************) (* Help shows all possible commands and gives a short explanation *) (* written: 08.10.85 Matthias Aebi *) (* last modification: 08.10.85 Matthias Aebi *) (************************************************************************) EXPORT QUALIFIED Help; PROCEDURE Help; END KermHelp.