coqide: maj preferences du wizzard

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3774 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 65 insertions, 2 deletions

diff --git a/.depend b/.depend
index 8867ab906..aec3b883e 100644
--- a/.depend
+++ b/.depend
@@ -1,3 +1,5 @@
+ide.good/coq.cmi: kernel/environ.cmi pretyping/evd.cmi kernel/names.cmi \
+    kernel/term.cmi lib/util.cmi toplevel/vernacexpr.cmo 
 ide/coq.cmi: kernel/environ.cmi pretyping/evd.cmi kernel/names.cmi \
     kernel/term.cmi lib/util.cmi toplevel/vernacexpr.cmo 
 interp/constrextern.cmi: kernel/environ.cmi library/libnames.cmi \
@@ -434,6 +436,7 @@ contrib/linear/unif.cmi: contrib/linear/dpctypes.cmi \
 contrib/xml/doubleTypeInference.cmi: contrib/xml/acic.cmo kernel/environ.cmi \
     pretyping/evd.cmi kernel/term.cmi 
 contrib/xml/xmlcommand.cmi: library/libnames.cmi 
+ide.good/utils/configwin.cmi: ide/utils/uoptions.cmi 
 ide/utils/configwin.cmi: ide/utils/uoptions.cmi 
 config/coq_config.cmo: config/coq_config.cmi 
 config/coq_config.cmx: config/coq_config.cmi 
@@ -455,6 +458,44 @@ dev/top_printers.cmx: parsing/ast.cmx toplevel/cerrors.cmx proofs/clenv.cmx \
     pretyping/termops.cmx kernel/univ.cmx 
 doc/parse.cmo: parsing/ast.cmi 
 doc/parse.cmx: parsing/ast.cmx 
+ide.good/command_windows.cmo: ide/coq.cmi ide/coq_commands.cmo \
+    ide/ideutils.cmo 
+ide.good/command_windows.cmx: ide/coq.cmx ide/coq_commands.cmx \
+    ide/ideutils.cmx 
+ide.good/coq.cmo: toplevel/cerrors.cmi config/coq_config.cmi \
+    toplevel/coqtop.cmi kernel/environ.cmi pretyping/evarutil.cmi \
+    pretyping/evd.cmi tactics/hipattern.cmi ide/ideutils.cmo library/lib.cmi \
+    kernel/names.cmi lib/options.cmi parsing/pcoq.cmi proofs/pfedit.cmi \
+    lib/pp.cmi parsing/printer.cmi proofs/proof_trees.cmi \
+    pretyping/reductionops.cmi proofs/refiner.cmi library/states.cmi \
+    proofs/tacmach.cmi kernel/term.cmi lib/util.cmi toplevel/vernac.cmi \
+    toplevel/vernacentries.cmi toplevel/vernacexpr.cmo ide.good/coq.cmi 
+ide.good/coq.cmx: toplevel/cerrors.cmx config/coq_config.cmx \
+    toplevel/coqtop.cmx kernel/environ.cmx pretyping/evarutil.cmx \
+    pretyping/evd.cmx tactics/hipattern.cmx ide/ideutils.cmx library/lib.cmx \
+    kernel/names.cmx lib/options.cmx parsing/pcoq.cmx proofs/pfedit.cmx \
+    lib/pp.cmx parsing/printer.cmx proofs/proof_trees.cmx \
+    pretyping/reductionops.cmx proofs/refiner.cmx library/states.cmx \
+    proofs/tacmach.cmx kernel/term.cmx lib/util.cmx toplevel/vernac.cmx \
+    toplevel/vernacentries.cmx toplevel/vernacexpr.cmx ide.good/coq.cmi 
+ide.good/coqide.cmo: ide/command_windows.cmo ide/coq.cmi ide/coq_commands.cmo \
+    ide/find_phrase.cmo ide/highlight.cmo ide/ideutils.cmo proofs/pfedit.cmi \
+    ide/preferences.cmo ide/undo.cmi lib/util.cmi toplevel/vernacexpr.cmo 
+ide.good/coqide.cmx: ide/command_windows.cmx ide/coq.cmx ide/coq_commands.cmx \
+    ide/find_phrase.cmx ide/highlight.cmx ide/ideutils.cmx proofs/pfedit.cmx \
+    ide/preferences.cmx ide/undo.cmx lib/util.cmx toplevel/vernacexpr.cmx 
+ide.good/find_phrase.cmo: ide/ideutils.cmo 
+ide.good/find_phrase.cmx: ide/ideutils.cmx 
+ide.good/highlight.cmo: ide/ideutils.cmo 
+ide.good/highlight.cmx: ide/ideutils.cmx 
+ide.good/ideutils.cmo: config/coq_config.cmi lib/options.cmi \
+    lib/pp_control.cmi ide/preferences.cmo 
+ide.good/ideutils.cmx: config/coq_config.cmx lib/options.cmx \
+    lib/pp_control.cmx ide/preferences.cmx 
+ide.good/preferences.cmo: ide/utils/configwin.cmi 
+ide.good/preferences.cmx: ide/utils/configwin.cmx 
+ide.good/undo.cmo: ide/ideutils.cmo ide.good/undo.cmi 
+ide.good/undo.cmx: ide/ideutils.cmx ide.good/undo.cmi 
 ide/command_windows.cmo: ide/coq.cmi ide/coq_commands.cmo ide/ideutils.cmo 
 ide/command_windows.cmx: ide/coq.cmx ide/coq_commands.cmx ide/ideutils.cmx 
 ide/coq.cmo: toplevel/cerrors.cmi config/coq_config.cmi toplevel/coqtop.cmi \
@@ -487,8 +528,8 @@ ide/ideutils.cmo: config/coq_config.cmi lib/options.cmi lib/pp_control.cmi \
     ide/preferences.cmo 
 ide/ideutils.cmx: config/coq_config.cmx lib/options.cmx lib/pp_control.cmx \
     ide/preferences.cmx 
-ide/preferences.cmo: ide/utils/configwin.cmi 
-ide/preferences.cmx: ide/utils/configwin.cmx 
+ide/preferences.cmo: ide/utils/configwin.cmi ide/utils/editable_cells.cmo 
+ide/preferences.cmx: ide/utils/configwin.cmx ide/utils/editable_cells.cmx 
 ide/undo.cmo: ide/ideutils.cmo ide/undo.cmi 
 ide/undo.cmx: ide/ideutils.cmx ide/undo.cmi 
 interp/constrextern.cmo: pretyping/classops.cmi library/declare.cmi \
@@ -3229,6 +3270,28 @@ contrib/xml/xmlentries.cmx: toplevel/cerrors.cmx parsing/egrammar.cmx \
     parsing/extend.cmx interp/genarg.cmx parsing/pcoq.cmx lib/pp.cmx \
     parsing/pptactic.cmx tactics/tacinterp.cmx lib/util.cmx \
     toplevel/vernacinterp.cmx contrib/xml/xmlcommand.cmx 
+ide.good/utils/configwin.cmo: ide/utils/configwin_ihm.cmo \
+    ide/utils/configwin_types.cmo ide.good/utils/configwin.cmi 
+ide.good/utils/configwin.cmx: ide/utils/configwin_ihm.cmx \
+    ide/utils/configwin_types.cmx ide.good/utils/configwin.cmi 
+ide.good/utils/configwin_html_config.cmo: ide/utils/configwin_ihm.cmo \
+    ide/utils/configwin_messages.cmo ide/utils/configwin_types.cmo \
+    ide/utils/uoptions.cmi 
+ide.good/utils/configwin_html_config.cmx: ide/utils/configwin_ihm.cmx \
+    ide/utils/configwin_messages.cmx ide/utils/configwin_types.cmx \
+    ide/utils/uoptions.cmx 
+ide.good/utils/configwin_ihm.cmo: ide/utils/configwin_messages.cmo \
+    ide/utils/configwin_types.cmo ide/utils/okey.cmi ide/utils/uoptions.cmi 
+ide.good/utils/configwin_ihm.cmx: ide/utils/configwin_messages.cmx \
+    ide/utils/configwin_types.cmx ide/utils/okey.cmx ide/utils/uoptions.cmx 
+ide.good/utils/configwin_types.cmo: ide/utils/configwin_keys.cmo \
+    ide/utils/uoptions.cmi 
+ide.good/utils/configwin_types.cmx: ide/utils/configwin_keys.cmx \
+    ide/utils/uoptions.cmx 
+ide.good/utils/okey.cmo: ide.good/utils/okey.cmi 
+ide.good/utils/okey.cmx: ide.good/utils/okey.cmi 
+ide.good/utils/uoptions.cmo: ide.good/utils/uoptions.cmi 
+ide.good/utils/uoptions.cmx: ide.good/utils/uoptions.cmi 
 ide/utils/configwin.cmo: ide/utils/configwin_ihm.cmo \
     ide/utils/configwin_types.cmo ide/utils/configwin.cmi 
 ide/utils/configwin.cmx: ide/utils/configwin_ihm.cmx \