coq/doc/changelog/01-kernel, branch master The formal proof system changelog for 8.13.2 2021-04-01T09:19:19+00:00 Enrico Tassi 2021-04-01T09:18:44+00:00 39e3201c01b1a8baec279ccdc7a8acb3a341c3dd 






Document as critical.
2021-03-26T14:18:28+00:00

Guillaume Melquiond

2021-03-25T14:03:03+00:00

7ff8b12c14867e43d54c3d4c8976a6179250893d












Adding a changelog.
2021-03-26T11:18:05+00:00

Pierre-Marie Pédrot

2021-03-26T11:18:05+00:00

5300e23cf5ac31fb835c5cfbe7ce1ed56f338f99












Delay the dynamic linking of native-code libraries until native_compute is called (fix #13849).
2021-02-26T07:16:34+00:00

Guillaume Melquiond

2021-02-12T15:56:55+00:00

94319a520e7df0713942c2caada43214b49ed19b

The libraries are eventually linked in native_norm and native_conv_gen,
just before mk_norm_code and mk_conv_code are called.

This commit also renames call_linker as execute_library to better reflect
its role. It also makes link_library independent from it, since their
error handling are completely opposite.





The libraries are eventually linked in native_norm and native_conv_gen,
just before mk_norm_code and mk_conv_code are called.

This commit also renames call_linker as execute_library to better reflect
its role. It also makes link_library independent from it, since their
error handling are completely opposite.







changelog for 8.13.1
2021-02-22T09:28:30+00:00

Enrico Tassi

2021-02-22T09:28:30+00:00

7cb60ab1fba4ff5f6708790339f3d7c0faac38ec












Update doc/changelog/01-kernel/13867-changelog-for-13867.rst
2021-02-20T20:36:43+00:00

Enrico Tassi

2021-02-20T20:36:43+00:00

0d47e2ce47961d328912e4379080aa92f140b5fd

Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com>




Co-authored-by: Jim Fehrle <jim.fehrle@gmail.com>






add changelog for 13867
2021-02-20T16:37:47+00:00

Enrico Tassi

2021-02-20T16:37:47+00:00

02367215456af9eea6fd1fe13ef2a808e43ede58












Document the change of case representation.
2021-01-04T13:03:26+00:00

Pierre-Marie Pédrot

2021-01-01T15:01:52+00:00

a95654a21c350f19ad0da67713359cbf6c49e95a












[doc] update changes after 13501
2020-12-06T15:14:17+00:00

Enrico Tassi

2020-12-06T15:12:50+00:00

8e7b1adc7fc8a2a12a08f1b4a2817cab04fe00c3












[changelog] update markup
2020-12-03T15:03:37+00:00

Enrico Tassi

2020-11-30T09:03:47+00:00

c8fc6b8f0d357b01f919b8346f45d0bd020f4fe2