From eaa90cf9520e43d0b05fc6431a479e6b9559ef0e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 17 Apr 2018 16:57:13 +0200
Subject: move odd_order to its own repository

---
 mathcomp/Make | 34 ----------------------------------
 1 file changed, 34 deletions(-)

(limited to 'mathcomp/Make')

diff --git a/mathcomp/Make b/mathcomp/Make
index 1db29ba..cf52650 100644
--- a/mathcomp/Make
+++ b/mathcomp/Make
@@ -46,40 +46,6 @@ fingroup/morphism.v
 fingroup/perm.v
 fingroup/presentation.v
 fingroup/quotient.v
-odd_order/BGappendixAB.v
-odd_order/BGappendixC.v
-odd_order/BGsection10.v
-odd_order/BGsection11.v
-odd_order/BGsection12.v
-odd_order/BGsection13.v
-odd_order/BGsection14.v
-odd_order/BGsection15.v
-odd_order/BGsection16.v
-odd_order/BGsection1.v
-odd_order/BGsection2.v
-odd_order/BGsection3.v
-odd_order/BGsection4.v
-odd_order/BGsection5.v
-odd_order/BGsection6.v
-odd_order/BGsection7.v
-odd_order/BGsection8.v
-odd_order/BGsection9.v
-odd_order/PFsection10.v
-odd_order/PFsection11.v
-odd_order/PFsection12.v
-odd_order/PFsection13.v
-odd_order/PFsection14.v
-odd_order/PFsection1.v
-odd_order/PFsection2.v
-odd_order/PFsection3.v
-odd_order/PFsection4.v
-odd_order/PFsection5.v
-odd_order/PFsection6.v
-odd_order/PFsection7.v
-odd_order/PFsection8.v
-odd_order/PFsection9.v
-odd_order/stripped_odd_order_theorem.v
-odd_order/wielandt_fixpoint.v
 real_closed/all_real_closed.v
 real_closed/bigenough.v
 real_closed/cauchyreals.v
-- 
cgit v1.2.3