IMPLEMENTATION MODULE Version;

BEGIN
  version := "Edit 1.30";
END Version.