module Ed_messages:Some predefined messagessig
..end
val software : string
val software_author : string
val software_author_mail : string
val software_copyright : string
val software_about : string
val about : string
val preferences : string