Merge pull request #67 from affeldt-aist/update_wrt_mathcomp_1.11

Update w.r.t. MathComp 1.11.0+beta1
math-comp · Apr 20, 2020 · 7a86700 · 7a86700
2 parents dbb98e9 + 08c1629
commit 7a86700
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6,744 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -14,16 +14,11 @@ env:
   - NJOBS="2"
   - CONTRIB_NAME="finmap"
   matrix:
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.7"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.8"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.9"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.10"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.9.0-coq-8.11"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.7"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.8"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.9"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.10"
-  - DOCKERIMAGE="mathcomp/mathcomp:1.10.0-coq-8.11"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.7"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.8"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.9"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.10"
+  - DOCKERIMAGE="mathcomp/mathcomp:1.11.0-coq-8.11"
   - DOCKERIMAGE="mathcomp/mathcomp-dev:coq-8.7"
   - DOCKERIMAGE="mathcomp/mathcomp-dev:coq-8.8"
   - DOCKERIMAGE="mathcomp/mathcomp-dev:coq-8.9"

diff --git a/_CoqProject b/_CoqProject
@@ -1,6 +1,5 @@
 finmap.v
 multiset.v
-order.v
 set.v
 
--R . mathcomp.finmap
+-R . mathcomp.finmap