coq/CHANGES, branch master The formal proof system Rename CHANGES to CHANGES.md. 2018-10-05T06:38:17+00:00 Guillaume Melquiond 2018-10-05T06:38:17+00:00 6f56c46a8b2383c4c7cb2e10c24a5e5a3c2191fb 






Improve markdown in changes.
2018-10-05T06:26:34+00:00

Guillaume Melquiond

2018-10-03T14:32:26+00:00

e9eabbbab2f3ab5242670b36e5a5445a2fb7e737

This was mostly a matter of adding backquotes and indentation where
needed. There were also some "combining grave accent" used in place of
proper backquotes.

I cleaned only the changes of the most recent releases.





This was mostly a matter of adding backquotes and indentation where
needed. There were also some "combining grave accent" used in place of
proper backquotes.

I cleaned only the changes of the most recent releases.







Merge PR #7522: [ocaml] Update required OCaml version to 4.05.0
2018-10-02T06:38:04+00:00

Pierre-Marie Pédrot

2018-10-02T06:38:04+00:00

1bde8c0912ed1129e71ffe20299ac89299492ba5












Merge PR #7634: Extend combined scheme to Schemes in Type
2018-10-01T12:41:33+00:00

Matthieu Sozeau

2018-10-01T12:41:33+00:00

aff4c089548c4e77b93a5676fe82abf93189d6ce












A word about PR #262 in CHANGES.
2018-09-27T20:36:30+00:00

Hugo Herbelin

2018-05-25T16:33:26+00:00

bfbc82eb29c9dbf868d3decbd30b0462ea398ebd












Merge PR #8171: Bvector: add BVeq and some notations
2018-09-26T17:22:51+00:00

Hugo Herbelin

2018-09-26T17:22:51+00:00

71296e6e91de5b3fea08ef4b34426a02304f00b8












[ocaml] Update required OCaml version to 4.05.0
2018-09-26T14:44:04+00:00

Emilio Jesus Gallego Arias

2018-05-15T02:25:05+00:00

ef3fa51c12c450781facb61f54f465a77a359f83

Closes #7380. Ubuntu 18.04 and Debian Buster will ship this OCaml
version so it makes sense we bump our dependency to 4.05.0 as we can
use some newer compiler features.





Closes #7380. Ubuntu 18.04 and Debian Buster will ship this OCaml
version so it makes sense we bump our dependency to 4.05.0 as we can
use some newer compiler features.







Merge PR #7309: Made names of existential variables interpretable as Ltac variables.
2018-09-26T12:03:35+00:00

Pierre-Marie Pédrot

2018-09-26T12:03:35+00:00

871c694e5395e85296f4c61ba4039f04704b20b3












Merge PR #8419: Remove romega in favor of lia
2018-09-26T11:12:46+00:00

Théo Zimmermann

2018-09-26T11:12:46+00:00

8292c485bde7911bf8a4d626faf9292ba0016e97












Combined Scheme tests sort to use either "*" or "/\"
2018-09-26T09:27:21+00:00

Théo Winterhalter

2018-09-26T09:26:50+00:00

5ea3d1b1e01f56573e72d7818a4b7e6393ffdfa8

And update documentation.




And update documentation.