From 460f679c73467c2cff5940c4ee603ec21d75aa2f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 29 Nov 2003 17:48:42 +0000
Subject: Deplacement des fichiers ancienne syntaxe dans theories7, contrib7 et
 states7

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5030 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 theories7/Arith/.cvsignore       | 1 +
 theories7/Bool/.cvsignore        | 1 +
 theories7/Init/.cvsignore        | 1 +
 theories7/IntMap/.cvsignore      | 1 +
 theories7/Lists/.cvsignore       | 1 +
 theories7/Logic/.cvsignore       | 1 +
 theories7/NArith/.cvsignore      | 1 +
 theories7/Reals/.cvsignore       | 1 +
 theories7/Relations/.cvsignore   | 1 +
 theories7/Setoids/.cvsignore     | 1 +
 theories7/Sets/.cvsignore        | 1 +
 theories7/Sorting/.cvsignore     | 1 +
 theories7/Wellfounded/.cvsignore | 1 +
 theories7/ZArith/.cvsignore      | 1 +
 14 files changed, 14 insertions(+)
 create mode 100644 theories7/Arith/.cvsignore
 create mode 100644 theories7/Bool/.cvsignore
 create mode 100644 theories7/Init/.cvsignore
 create mode 100644 theories7/IntMap/.cvsignore
 create mode 100644 theories7/Lists/.cvsignore
 create mode 100644 theories7/Logic/.cvsignore
 create mode 100644 theories7/NArith/.cvsignore
 create mode 100644 theories7/Reals/.cvsignore
 create mode 100644 theories7/Relations/.cvsignore
 create mode 100644 theories7/Setoids/.cvsignore
 create mode 100644 theories7/Sets/.cvsignore
 create mode 100644 theories7/Sorting/.cvsignore
 create mode 100644 theories7/Wellfounded/.cvsignore
 create mode 100644 theories7/ZArith/.cvsignore

diff --git a/theories7/Arith/.cvsignore b/theories7/Arith/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Arith/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Bool/.cvsignore b/theories7/Bool/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Bool/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Init/.cvsignore b/theories7/Init/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Init/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/IntMap/.cvsignore b/theories7/IntMap/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/IntMap/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Lists/.cvsignore b/theories7/Lists/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Lists/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Logic/.cvsignore b/theories7/Logic/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Logic/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/NArith/.cvsignore b/theories7/NArith/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/NArith/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Reals/.cvsignore b/theories7/Reals/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Reals/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Relations/.cvsignore b/theories7/Relations/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Relations/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Setoids/.cvsignore b/theories7/Setoids/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Setoids/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Sets/.cvsignore b/theories7/Sets/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Sets/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Sorting/.cvsignore b/theories7/Sorting/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Sorting/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/Wellfounded/.cvsignore b/theories7/Wellfounded/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/Wellfounded/.cvsignore
@@ -0,0 +1 @@
+*.v8
diff --git a/theories7/ZArith/.cvsignore b/theories7/ZArith/.cvsignore
new file mode 100644
index 0000000000..c446fcb878
--- /dev/null
+++ b/theories7/ZArith/.cvsignore
@@ -0,0 +1 @@
+*.v8
-- 
cgit v1.2.3