coq/theories/Compat/vo.itarget, branch master The formal proof system drop vo.itarget files and compute the corresponding the corresponding values automatically instead 2017-06-01T15:33:19+00:00 Matej Kosik 2017-03-23T11:56:24+00:00 718d61a54157733bca61ed84c0ba3761cd52720f 






Fix #4793: Coq 8.6 should accept -compat 8.6
2016-07-06T10:25:03+00:00

Maxime Dénès

2016-07-06T09:42:35+00:00

9a1eb2f4fefcc52f56785f20831e854bb626ae95

We also add a Coq86.v compat file.





We also add a Coq86.v compat file.







Moved proof_admitted to its own file, named "AdmitAxiom.v".
2015-12-14T10:22:54+00:00

Maxime Dénès

2015-12-14T10:22:54+00:00

81ef6a6dc1bfc3db0e7df3e32b6446fc4d2c4008












Add compatibility files (feature 4319)
2015-09-30T07:21:54+00:00

Jason Gross

2015-09-14T21:46:52+00:00

a478947e33bcca34291ec36487876443a694c6bf