From 14c9a3a752e8c21b239ff0800089271c5a5ddfb2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 5 Nov 2015 11:36:58 +0100
Subject: merge basic/ into ssreflect/

---
 mathcomp/Make | 25 ++++++++++++-------------
 1 file changed, 12 insertions(+), 13 deletions(-)

(limited to 'mathcomp/Make')

diff --git a/mathcomp/Make b/mathcomp/Make
index d8fb252..66160b4 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -17,19 +17,6 @@ algebra/ssrnum.v
 algebra/vector.v
 algebra/zmodp.v
 all/all.v
-basic/all_basic.v
-basic/bigop.v
-basic/binomial.v
-basic/choice.v
-basic/div.v
-basic/finfun.v
-basic/fingraph.v
-basic/finset.v
-basic/fintype.v
-basic/generic_quotient.v
-basic/path.v
-basic/prime.v
-basic/tuple.v
 character/all_character.v
 character/character.v
 character/classfun.v
@@ -125,13 +112,25 @@ solvable/pgroup.v
 solvable/primitive_action.v
 solvable/sylow.v
 ssreflect/all_ssreflect.v
+ssreflect/bigop.v
+ssreflect/binomial.v
+ssreflect/choice.v
+ssreflect/div.v
 ssreflect/eqtype.v
+ssreflect/finfun.v
+ssreflect/fingraph.v
+ssreflect/finset.v
+ssreflect/fintype.v
+ssreflect/generic_quotient.v
+ssreflect/path.v
+ssreflect/prime.v
 ssreflect/seq.v
 ssreflect/ssrbool.v
 ssreflect/ssreflect.v
 ssreflect/ssrfun.v
 ssreflect/ssrmatching.v
 ssreflect/ssrnat.v
+ssreflect/tuple.v
 ssrtest/absevarprop.v
 ssrtest/binders_of.v
 ssrtest/binders.v
-- 
cgit v1.2.3