coq-mathcomp/mathcomp/attic, branch master Library of mathematical components formalized in Coq remove the attic/ directory 2018-04-20T12:17:38+00:00 Enrico Tassi 2018-04-20T12:17:38+00:00 dcc7917ac5d66472f751ebbd31b7b63db5465303 






fixing things that @ggonthier and @ybertot spotted and some I spotted
2018-02-06T13:14:36+00:00

Cyril Cohen

2018-02-06T13:04:50+00:00

f3ce9ace4b55654d6240db9eb41a6de3c488f0d9












running semi-automated linting on the whole library
2018-02-06T12:54:37+00:00

Cyril Cohen

2017-11-23T15:33:36+00:00

fafd4dac5315e1d4e071b0044a50a16360b31964












Fix obsolete vernacular syntax for locality.
2017-10-30T13:16:48+00:00

Maxime Dénès

2017-10-30T13:16:48+00:00

e1b1743fb6aaed042d5e6762ea76c3242593ab1d

It was emitting a deprecation warning and will soon be removed from Coq.





It was emitting a deprecation warning and will soon be removed from Coq.







fix building with make flags
2017-10-10T11:23:30+00:00

Ralf Jung

2017-10-10T11:23:30+00:00

e888516870ef592d0f7da74f8138e478d6114b05

Fixes #139





Fixes #139







update copyright banner
2016-11-07T14:41:12+00:00

Assia Mahboubi

2016-11-07T14:40:31+00:00

2a8af6f6b80c82a5f07cae220427cccc30ef8dac












fix INSTALL symlinks
2015-11-10T10:38:27+00:00

Enrico Tassi

2015-11-10T10:38:08+00:00

da9bec4f8cdbd568872dcb8f9a427c36bff1a6f4












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

Enrico Tassi

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

cd072f48cf929d7d7f9170d3348ca44a4802a511












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

Cyril Cohen

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

532de9b68384a114c6534a0736ed024c900447f9












Using the From X Require Y for v8.4
2015-04-09T11:53:46+00:00

Cyril Cohen

2015-04-09T11:53:46+00:00

634ee874ec11a5a90617ca5723228d4de1fe479c