From c7ddacdfc43ba25c9fbd9505b3960047c13596d0 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 24 Mar 2015 12:23:33 +0100
Subject: metadata for solvable and field

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

(limited to 'mathcomp/field/Make')

diff --git a/mathcomp/field/Make b/mathcomp/field/Make
new file mode 100644
index 0000000..93ff57c
--- /dev/null
+++ b/mathcomp/field/Make
@@ -0,0 +1,14 @@
+all.v
+algC.v
+algebraics_fundamentals.v
+algnum.v
+closed_field.v
+countalg.v
+cyclotomic.v
+falgebra.v
+fieldext.v
+finfield.v
+galois.v
+separable.v
+
+-R . mathcomp.field
-- 
cgit v1.2.3