mise a jour

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

1 files changed, 16 insertions, 14 deletions

diff --git a/.depend b/.depend
index 243a6a4b1..00ac16a45 100644
--- a/.depend
+++ b/.depend
@@ -334,17 +334,17 @@ lib/util.cmx: lib/pp.cmx lib/util.cmi
 library/declare.cmo: kernel/constant.cmi kernel/environ.cmi kernel/evd.cmi \
     kernel/generic.cmi library/global.cmi library/impargs.cmi \
     library/indrec.cmi kernel/inductive.cmi library/lib.cmi \
-    library/libobject.cmi kernel/names.cmi library/nametab.cmi lib/pp.cmi \
-    kernel/reduction.cmi kernel/sign.cmi library/summary.cmi kernel/term.cmi \
-    kernel/type_errors.cmi kernel/typeops.cmi kernel/univ.cmi lib/util.cmi \
-    library/declare.cmi 
+    library/libobject.cmi kernel/names.cmi library/nametab.cmi \
+    lib/options.cmi lib/pp.cmi kernel/reduction.cmi kernel/sign.cmi \
+    library/summary.cmi kernel/term.cmi kernel/type_errors.cmi \
+    kernel/typeops.cmi kernel/univ.cmi lib/util.cmi library/declare.cmi 
 library/declare.cmx: kernel/constant.cmx kernel/environ.cmx kernel/evd.cmx \
     kernel/generic.cmx library/global.cmx library/impargs.cmx \
     library/indrec.cmx kernel/inductive.cmx library/lib.cmx \
-    library/libobject.cmx kernel/names.cmx library/nametab.cmx lib/pp.cmx \
-    kernel/reduction.cmx kernel/sign.cmx library/summary.cmx kernel/term.cmx \
-    kernel/type_errors.cmx kernel/typeops.cmx kernel/univ.cmx lib/util.cmx \
-    library/declare.cmi 
+    library/libobject.cmx kernel/names.cmx library/nametab.cmx \
+    lib/options.cmx lib/pp.cmx kernel/reduction.cmx kernel/sign.cmx \
+    library/summary.cmx kernel/term.cmx kernel/type_errors.cmx \
+    kernel/typeops.cmx kernel/univ.cmx lib/util.cmx library/declare.cmi 
 library/global.cmo: kernel/environ.cmi kernel/generic.cmi \
     kernel/inductive.cmi kernel/instantiate.cmi kernel/safe_typing.cmi \
     kernel/sign.cmi library/summary.cmi kernel/term.cmi lib/util.cmi \
@@ -821,6 +821,8 @@ tools/coqdep.cmo: config/coq_config.cmi tools/coqdep_lexer.cmo
 tools/coqdep.cmx: config/coq_config.cmx tools/coqdep_lexer.cmx 
 tools/coqdep_lexer.cmo: config/coq_config.cmi 
 tools/coqdep_lexer.cmx: config/coq_config.cmx 
+tools/gallina.cmo: tools/gallina_lexer.cmo 
+tools/gallina.cmx: tools/gallina_lexer.cmx 
 toplevel/class.cmo: pretyping/classops.cmi kernel/constant.cmi \
     library/declare.cmi kernel/environ.cmi kernel/evd.cmi kernel/generic.cmi \
     library/global.cmi kernel/inductive.cmi kernel/instantiate.cmi \
@@ -837,16 +839,16 @@ toplevel/command.cmo: parsing/ast.cmi parsing/astterm.cmi kernel/constant.cmi \
     parsing/coqast.cmi library/declare.cmi kernel/environ.cmi kernel/evd.cmi \
     kernel/generic.cmi library/global.cmi library/indrec.cmi \
     kernel/inductive.cmi library/lib.cmi library/libobject.cmi \
-    library/library.cmi kernel/names.cmi lib/pp.cmi kernel/reduction.cmi \
-    library/states.cmi pretyping/syntax_def.cmi pretyping/tacred.cmi \
-    kernel/term.cmi lib/util.cmi toplevel/command.cmi 
+    library/library.cmi kernel/names.cmi lib/options.cmi lib/pp.cmi \
+    kernel/reduction.cmi library/states.cmi pretyping/syntax_def.cmi \
+    pretyping/tacred.cmi kernel/term.cmi lib/util.cmi toplevel/command.cmi 
 toplevel/command.cmx: parsing/ast.cmx parsing/astterm.cmx kernel/constant.cmx \
     parsing/coqast.cmx library/declare.cmx kernel/environ.cmx kernel/evd.cmx \
     kernel/generic.cmx library/global.cmx library/indrec.cmx \
     kernel/inductive.cmx library/lib.cmx library/libobject.cmx \
-    library/library.cmx kernel/names.cmx lib/pp.cmx kernel/reduction.cmx \
-    library/states.cmx pretyping/syntax_def.cmx pretyping/tacred.cmx \
-    kernel/term.cmx lib/util.cmx toplevel/command.cmi 
+    library/library.cmx kernel/names.cmx lib/options.cmx lib/pp.cmx \
+    kernel/reduction.cmx library/states.cmx pretyping/syntax_def.cmx \
+    pretyping/tacred.cmx kernel/term.cmx lib/util.cmx toplevel/command.cmi 
 toplevel/coqinit.cmo: config/coq_config.cmi toplevel/mltop.cmi \
     lib/options.cmi lib/pp.cmi lib/system.cmi toplevel/toplevel.cmi \
     toplevel/vernac.cmi toplevel/coqinit.cmi