From 821071c3ba30ad4ad9bb05b928b8bbf8dc2f85a2 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 25 Mar 2015 09:52:24 +0100
Subject: packaging real_closed

---
 mathcomp/real_closed/Make | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 mathcomp/real_closed/Make

(limited to 'mathcomp/real_closed/Make')

diff --git a/mathcomp/real_closed/Make b/mathcomp/real_closed/Make
new file mode 100644
index 0000000..08eedc2
--- /dev/null
+++ b/mathcomp/real_closed/Make
@@ -0,0 +1,13 @@
+-R . mathcomp.real_closed
+
+all.v
+bigenough.v
+cauchyreals.v
+complex.v
+ordered_qelim.v
+polyorder.v
+polyrcf.v
+qe_rcf_th.v
+qe_rcf.v
+realalg.v
+mxtens.v
\ No newline at end of file
-- 
cgit v1.2.3