Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et states7; Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states par les fichiers nouvelle syntaxe

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

1 files changed, 4 insertions, 3 deletions

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index a7de40633d..95e29fd218 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -82,9 +82,10 @@ let init_load_path () =
     Mltop.add_path user_contrib Nameops.default_root_prefix;
   (* then standard library *)
   let vdirs = 
-    if !Options.v7 then [ "theories"; "contrib" ]
-    else [ "newtheories"; "newcontrib" ] in
-  let dirs = "states" :: dev @ vdirs @ [ "ide" ] in
+    if !Options.v7 then [ "theories7"; "contrib7" ]
+    else [ "theories"; "contrib" ] in
+  let dirs = 
+    (if !Options.v7 then "states7" else "states") :: dev @ vdirs @ [ "ide" ] in
   List.iter (fun s -> coq_add_rec_path (Filename.concat coqlib s)) dirs;
   let camlp4 = getenv_else "CAMLP4LIB" Coq_config.camlp4lib in
   add_ml_include camlp4;