Merge pull request #22 from math-comp/v1.1

V1.1
math-comp · Aug 10, 2018 · 92a959e · 92a959e
2 parents e505c88 + 87a37c7
commit 92a959e
Show file tree

Hide file tree

Showing 4 changed files with 1,624 additions and 544 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -7,7 +7,6 @@ branches:
   only:
   - master
   - v1.0
-  - v1.1
 env:
   global:
   - NJOBS=2

diff --git a/TODO.md b/TODO.md
@@ -0,0 +1,9 @@
+- notation for constants
+- Basculer finsfun -> fsfun
+- Documenter les manières de constuire des fsfun et expliquer comment
+   faire à partir d'une séquence
+- Map à partir d'une liste d'association
+- Map singleton
+- finsupp -> fsupp Documenter !
+- lock [fmap -> _] or at least setf getf
+-
-Original file line number
+Diff line change
@@ Expand Up / @@ -7,7 +7,6 @@ branches: @@
       only:
       - master
       - v1.0
-      - v1.1
     env:
       global:
       - NJOBS=2
@@ Expand Down @@