coq-mathcomp/mathcomp/real_closed/Makefile, branch master Library of mathematical components formalized in Coq Moving real_closed to another repo 2018-04-18T08:49:18+00:00 Cyril Cohen 2018-04-17T15:00:15+00:00 13479422b0286c86d0888e06aba112153ca6314d 






Remove compatibility with Coq.8.4 (and compatibility hacks that went with it)
2017-10-23T13:54:07+00:00

Cyril Cohen

2017-10-23T13:52:09+00:00

dd730ed0569d57944435b6bb599bffd8c382c126












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 to preserve backward compatibility with v8.4
2015-07-18T14:40:17+00:00

Cyril Cohen

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

40021d41b085276c4c26bc5de7484add920e31f0












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












makefiles that are version dependent
2015-04-08T11:38:41+00:00

Cyril Cohen

2015-04-08T11:38:41+00:00

737f79e968a4832d15f6eb93b5bf24c0267fbecb












packaging real_closed
2015-03-25T08:52:24+00:00

Cyril Cohen

2015-03-25T08:52:24+00:00

821071c3ba30ad4ad9bb05b928b8bbf8dc2f85a2