guiglobal.cmi: ../common/index.cmi 
convenient.cmi: gui_glade_interface.cmo 
preferences.cmi: ../create/fileformat.cmo 
guiglobal.cmo: ../common/index.cmi guiglobal.cmi 
guiglobal.cmx: ../common/index.cmx guiglobal.cmi 
gui_glade_callbacks.cmo: gui_glade_interface.cmo 
gui_glade_callbacks.cmx: gui_glade_interface.cmx 
convenient.cmo: gui_glade_interface.cmo convenient.cmi 
convenient.cmx: gui_glade_interface.cmx convenient.cmi 
preferences.cmo: ../create/fileformat.cmo preferences.cmi 
preferences.cmx: ../create/fileformat.cmx preferences.cmi 
gui_mine.cmo: ../common/request.cmi preferences.cmi ../query/parserequest.cmi \
    ../query/lexrequest.cmo ../common/index.cmi guiglobal.cmi \
    gui_glade_interface.cmo gui_glade_callbacks.cmo ../common/filemap.cmi \
    ../create/fileformat.cmo ../create/fformat.cmi ../create/create.cmi \
    convenient.cmi 
gui_mine.cmx: ../common/request.cmx preferences.cmx ../query/parserequest.cmx \
    ../query/lexrequest.cmx ../common/index.cmx guiglobal.cmx \
    gui_glade_interface.cmx gui_glade_callbacks.cmx ../common/filemap.cmx \
    ../create/fileformat.cmx ../create/fformat.cmx ../create/create.cmx \
    convenient.cmx 
main.cmo: preferences.cmi ../common/index.cmi guiglobal.cmi gui_mine.cmo \
    gui_glade_interface.cmo convenient.cmi 
main.cmx: preferences.cmx ../common/index.cmx guiglobal.cmx gui_mine.cmx \
    gui_glade_interface.cmx convenient.cmx 
