From 25acabd98f67462a89c14efc3eb0873f88f3169b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Cl=C3=A9ment?= <francois.clement@inria.fr>
Date: Thu, 8 Feb 2024 16:03:49 +0100
Subject: [PATCH] Hide unused files.

---
 _CoqProject | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/_CoqProject b/_CoqProject
index 7ccd3d3d..6cacc002 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -57,16 +57,16 @@
 ./Lebesgue/Subset_system_gen.v
 ./Lebesgue/Subset_system.v
 
-./Lebesgue/Topology.v
+#./Lebesgue/Topology.v
 
-./Lebesgue/Subset_R.v
-./Lebesgue/Subset_Rbar.v
+#./Lebesgue/Subset_R.v
+#./Lebesgue/Subset_Rbar.v
 
 ./Lebesgue/sum_Rbar_nonneg.v
 
-./Lebesgue/measurable.v
-./Lebesgue/measurable_R.v
-./Lebesgue/measurable_Rbar.v
+#./Lebesgue/measurable.v
+#./Lebesgue/measurable_R.v
+#./Lebesgue/measurable_Rbar.v
 ./Lebesgue/measurable_fun.v
 
 ./Lebesgue/measure.v
-- 
GitLab