module Dbf_installation: sig .. end
sig
end
val software_version : string
string
val glade_dir : string
val glade_file : string
val dtd_dir : string
val db_dtd_file : string