coq-mathcomp/mathcomp/ssreflect/Makefile.detect-coq-version, branch master Library of mathematical components formalized in Coq remove support for Coq 8.6 2019-04-04T09:48:11+00:00 Enrico Tassi 2019-04-04T09:48:11+00:00 2b40140bb9c9e2620214fd65144af1c0fef4083a 






fix some bugs in Makefile
2018-10-26T09:41:50+00:00

Cyril Cohen

2018-08-08T15:20:04+00:00

94dd4260f6e281ddf3c8e3320fdc239a94f50b6d












simplified, cleaned and documented Makefile.common
2018-08-01T11:26:03+00:00

Cyril Cohen

2018-08-01T11:14:39+00:00

b83fe0ed8a8e7258c8cf55178dd619b743c8342e












agressive fix for duplicated files!
2018-07-31T14:17:07+00:00

Cyril Cohen

2018-07-31T14:17:07+00:00

629a7a065146679f14f95abf1de63a7ff3a2eacc












removing dead code + reshuffling stuff
2018-07-31T13:41:45+00:00

Cyril Cohen

2018-07-31T13:20:43+00:00

7d7b0688c818c5dde68d2b2bfc8ba3aecfe017d6












fix Coq version detection on Windows, and in case there are errors
2017-10-12T14:16:30+00:00

Ralf Jung

2017-10-12T14:16:30+00:00

30efd7b0ce2a272487b3937079c6dfe3f5877654












trunk -> master
2017-07-13T12:08:38+00:00

Enrico

2017-07-13T12:08:38+00:00

ac98f492e8988579a01a31560cdba7b4ba6420f5












fix trunk compilation
2015-07-30T11:18:33+00:00

Enrico Tassi

2015-07-30T11:18:33+00:00

e9163a8339e8c820a127a4a383b0c9427b11cc2a












factor common Makefile stuff
2015-07-28T09:17:04+00:00

Enrico Tassi

2015-07-28T09:16:38+00:00

2e6d512c29c72bb220dacabc79392334283d604e