From 4aec8fda1161953cf929b4e282eea9b672ab4058 Mon Sep 17 00:00:00 2001
From: barras
Date: Tue, 26 Sep 2006 12:13:06 +0000
Subject: commit de field + renommages

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9179 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 7a7725c526..40a46316a9 100644
--- a/Makefile
+++ b/Makefile
@@ -1035,22 +1035,22 @@ ROMEGAVO=\
  contrib/romega/ReflOmegaCore.vo contrib/romega/ROmega.vo 
 
 RINGVO=\
- contrib/ring/ArithRing.vo      contrib/ring/Ring_normalize.vo \
- contrib/ring/Ring_theory.vo    contrib/ring/LegacyRing.vo \
- contrib/ring/NArithRing.vo     \
- contrib/ring/ZArithRing.vo     contrib/ring/Ring_abstract.vo \
- contrib/ring/Quote.vo		contrib/ring/Setoid_ring_normalize.vo \
- contrib/ring/Setoid_ring.vo	contrib/ring/Setoid_ring_theory.vo
+ contrib/ring/LegacyArithRing.vo      	contrib/ring/Ring_normalize.vo \
+ contrib/ring/LegacyRing_theory.vo	contrib/ring/LegacyRing.vo \
+ contrib/ring/LegacyNArithRing.vo     \
+ contrib/ring/LegacyZArithRing.vo	contrib/ring/Ring_abstract.vo \
+ contrib/ring/Quote.vo			contrib/ring/Setoid_ring_normalize.vo \
+ contrib/ring/Setoid_ring.vo		contrib/ring/Setoid_ring_theory.vo
 
 NEWRINGVO=\
  contrib/setoid_ring/BinList.vo   contrib/setoid_ring/Ring_th.vo \
  contrib/setoid_ring/Pol.vo       contrib/setoid_ring/Ring_tac.vo \
  contrib/setoid_ring/ZRing_th.vo  contrib/setoid_ring/Ring_equiv.vo \
  contrib/setoid_ring/Ring_base.vo contrib/setoid_ring/Ring.vo \
- contrib/setoid_ring/NewArithRing.vo \
- contrib/setoid_ring/NewNArithRing.vo \
- contrib/setoid_ring/NewZArithRing.vo \
-contrib/setoid_ring/NewField.vo \
+ contrib/setoid_ring/ArithRing.vo \
+ contrib/setoid_ring/NArithRing.vo \
+ contrib/setoid_ring/ZArithRing.vo \
+contrib/setoid_ring/Field.vo \
 contrib/setoid_ring/Field_tac.vo \
 contrib/setoid_ring/RealField.vo
 
-- 
cgit v1.2.3