sig
  val usage_browser : string
  val usage : string
  val home : string
  val login : string
  val rc_dir : string
  val plugins_dir : string
  val software_author : string
  val software_author_mail : string
  val software_copyright : string
  val software_about : string
  val about : string
  val bad_format : string -> string
  val loading_file : string -> string
  val ok : string
  val yes : string
  val no : string
  val confirm : string
  val cancel : string
  val copy : string
  val cut : string
  val paste : string
  val edit : string
  val up : string
  val down : string
  val add_menu : string
  val add_command : string
  val separator : string
  val menu : string
  val add : string
  val remove : string
  val configuration : string
  val doc : string
  val quit : string
  val really_quit : string
  val log_window : string
  val file : string
  val search_exact : string
  val search_regexp : string
  val running_com : string -> string
  val error : string
  val error_exec : string -> string
  val back : string
  val search : string
  val error_not_found : string -> string -> string
  val error_not_found_module : string -> string
  val error_not_found_module_type : string -> string
  val error_not_found_mmt : string -> string
  val error_not_found_class : string -> string
  val error_not_found_class_type : string -> string
  val error_not_found_cct : string -> string
  val error_not_found_exception : string -> string
  val error_not_found_type : string -> string
  val error_not_found_value : string -> string
  val error_not_found_attribute : string -> string
  val error_not_found_method : string -> string
  val error_load_file : string -> string -> string
  val authors : string
  val version : string
  val since : string
  val raises : string
  val see_also : string
  val returns : string
  val deprecated : string
  val parameters : string
  val inherits : string
  val doc_box : string
  val close : string
  val name : string
  val kind : string
  val nothing_found : string -> string
  val error_unknown_action : string -> string
  val label : string
  val command : string
  val doc_flag : string
  val icon_file : string
  val icon : string
  val file_type : string
  val rule : string
  val file_types_rules : string
  val commands : string
  val default_command : string
  val file_types_handlers : string
  val open_with : string
  val use_ : string
  val doc_file : string
  val doc_files : string
  val doc_sources : string
  val common_keyboard_shortcuts : string
  val docbrowser_keyboard_shortcuts : string
  val binding : string
  val edit_binding : string
  val update_dir : string
  val commit_dir : string
  val enter_comment : string
  val enter_comment_commit : string
  val add_dir : string
  val should_create_dir : string -> string
  val tag_dir : string
  val enter_tag_for_dir : string -> string
  val error_add_files : string list -> string
  val add_files : string
  val add_binary_files : string
  val commit_files : string
  val remove_files : string
  val tag_files : string
  val enter_tag_for_files : string list -> string
  val tags_of_file : string
  val resolve_conflicts : string
  val log : string
  val tag : string
  val revision : string
  val error_remove_files : string list -> string
  val confirm_remove_files : string list -> string
  val tags_of : string -> string
  val last_diff : string
  val diff_with : string
  val diff_between : string
  val plugins : string
  val no_plugin_loaded : string
  val plugin_to_reload : string
  val shared_plugins_to_load : string
  val personal_plugins_to_load : string
  val already_loaded : string
  val h_reload_plugin : string
  val configure_doc_sources : string
end