coq/theories/Compat, branch master The formal proof system Remove the omega tactic and related options 2021-04-03T01:52:59+00:00 Jim Fehrle 2021-01-11T22:47:13+00:00 d3a51ac24244f586dfeff1a93b68cb084370534e 






Update compat infrastructure for 8.14
2020-11-23T15:47:06+00:00

Enrico Tassi

2020-11-23T15:47:06+00:00

17da7c41b17da3280cb2c182387685ad4be6022f












Update compate Coq812.v
2020-11-15T09:30:31+00:00

Gaëtan Gilbert

2020-11-02T14:16:32+00:00

f8f3ea06d9d8ffdd07d0d034b453d6495dd418c0












[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







firstorder: default tactic is “auto with core”
2020-03-19T07:05:07+00:00

Vincent Laporte

2020-01-18T19:35:42+00:00

e138fbf1e1cd95bfae05e17074f94a1ebde2edf8












Update headers in the whole code base.
2020-03-18T11:15:43+00:00

Théo Zimmermann

2020-03-18T11:14:26+00:00

a99776e10e0b2198d2b811ad82631111fb450f8a

Add headers to a few files which were missing them.





Add headers to a few files which were missing them.







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.