coq/test-suite/tools, branch master The formal proof system Update compat infrastructure for 8.14 2020-11-23T15:47:06+00:00 Enrico Tassi 2020-11-23T15:47:06+00:00 17da7c41b17da3280cb2c182387685ad4be6022f 






[compat] remove 8.10
2020-11-09T13:55:23+00:00

Enrico Tassi

2020-11-09T13:55:23+00:00

a028e70817e7fd43b35643a8faa9bc7f59897ddb












Update to 8.13.
2020-05-18T14:57:43+00:00

Théo Zimmermann

2020-05-18T09:28:58+00:00

f1238742f931269167e7c2704b53bb285d05f39d

Part of this PR was automatically generated by running dev/doc/update-compat.py --master





Part of this PR was automatically generated by running dev/doc/update-compat.py --master







Remove -compat 8.9.
2020-02-08T14:52:58+00:00

Théo Zimmermann

2020-02-08T14:52:05+00:00

67ad410e48608682f48c6bf8c27b2657a48f71ab

Commit auto-generated by running dev/tools/update-compat.py --release.
As per release doc this must be run at some point before branching
(not necessarily close to the branching date).





Commit auto-generated by running dev/tools/update-compat.py --release.
As per release doc this must be run at some point before branching
(not necessarily close to the branching date).







[release] Update files for 8.12 release per release process.
2019-11-27T12:53:50+00:00

Emilio Jesus Gallego Arias

2019-11-21T17:49:30+00:00

cec1688022638679300af01c56fc6af908ae0681












Run update-compat script with --release option.
2019-11-11T13:17:52+00:00

Théo Zimmermann

2019-11-02T21:06:07+00:00

d6c45c99a9fd0dae4932f375ac663c368b1bdaf3

This should ideally have been done before the 8.11 branching.





This should ideally have been done before the 8.11 branching.







Call to update-compat.py.
2019-10-07T12:08:46+00:00

Pierre-Marie Pédrot

2019-10-07T12:08:32+00:00

aa728e094d40d09e3d414b961e7b6d9fedebc9fd












Remove -compat 8.7
2019-04-02T11:55:51+00:00

Jason Gross

2018-10-02T20:14:20+00:00

b1162463d577baf450c3f33ab880e7d9afe21148

This removes various compatibility notations.

Closes #8374

This commit was mostly created by running `./dev/tools/update-compat.py
--release`.  There's a bit of manual spacing adjustment around all of the
removed compatibility notations, and some test-suite updates were done
manually.

The update to CHANGES.md was manual.





This removes various compatibility notations.

Closes #8374

This commit was mostly created by running `./dev/tools/update-compat.py
--release`.  There's a bit of manual spacing adjustment around all of the
removed compatibility notations, and some test-suite updates were done
manually.

The update to CHANGES.md was manual.







Update -compat to support -compat 8.10
2019-01-24T19:22:27+00:00

Jason Gross

2018-10-03T16:06:02+00:00

218f45f4878fce3da520fae4694dad5653d8de4f

This commit was created via `./dev/tools/update-compat.py --master`





This commit was created via `./dev/tools/update-compat.py --master`







Move the compat-update-process to right after branching
2018-10-02T18:48:10+00:00

Jason Gross

2018-09-02T00:05:07+00:00

425475e4605691642b09b625dd13e7e3506299b6

Also test that the compat updating script hasn't become outdated on the
CI.





Also test that the compat updating script hasn't become outdated on the
CI.