DEFINITION MODULE KermVers; (************************************************************************) (* Version displays information about the current version of M2-Kermit *) (* written: 25.02.86 Matthias Aebi *) (* last modification: 25.02.86 Matthias Aebi *) (************************************************************************) EXPORT QUALIFIED Version; PROCEDURE Version; END KermVers.