coq-mathcomp/mathcomp/basic, branch master Library of mathematical components formalized in Coq merge basic/ into ssreflect/ 2015-11-05T15:26:24+00:00 Enrico Tassi 2015-11-05T10:36:58+00:00 14c9a3a752e8c21b239ff0800089271c5a5ddfb2 






update copyright banner
2015-07-28T11:38:15+00:00

Enrico Tassi

2015-07-28T11:36:38+00:00

cd072f48cf929d7d7f9170d3348ca44a4802a511












remove duplicate fields
2015-07-22T11:20:36+00:00

Cyril Cohen

2015-07-22T11:20:36+00:00

32e4af573f80d4387aa26d12a7f80f6660d9b50d












make the opam package meta data
2015-07-22T11:11:18+00:00

Cyril Cohen

2015-07-22T11:11:18+00:00

80471736932aee0a4287345ea8ffb10ca42b7165












update opam meta-data
2015-07-21T15:09:59+00:00

Cyril Cohen

2015-07-21T15:09:59+00:00

663721c0c431bb4b7a903082edd42c28407ffe91












update to preserve backward compatibility with v8.4
2015-07-18T14:40:17+00:00

Cyril Cohen

2015-07-18T12:38:59+00:00

40021d41b085276c4c26bc5de7484add920e31f0












Updating files + reorganizing everything
2015-07-17T16:03:31+00:00

Cyril Cohen

2015-07-17T16:03:31+00:00

532de9b68384a114c6534a0736ed024c900447f9