coq-mathcomp/.dockerignore, branch master Library of mathematical components formalized in Coq Fix and improve the test suite and Makefile 2019-10-02T09:23:14+00:00 Kazuhiko Sakaguchi 2019-09-26T07:48:48+00:00 a899bb7ef1d6a2c35b1b9a646dfeae332972f5f6 - improve an error message produced by the `check_join` tactic, - fix the build of the test suite: `make test-suite`, and - add a new rule `only` to build a subset of MathComp. 
- improve an error message produced by the `check_join` tactic,
- fix the build of the test suite: `make test-suite`, and
- add a new rule `only` to build a subset of MathComp.
Add .dockerignore (partly whitelist-based, partly like .gitignore) 2018-12-20T18:38:50+00:00 Erik Martin-Dorel 2018-12-20T15:31:39+00:00 036e10fc07ca816e9c0587e2bde55a2928c37388