Stream: Coq devs & plugin devs

Topic: 8.16 changelog doesn't look right


view this post on Zulip Ali Caglayan (Jun 04 2022 at 23:59):

The changelog looks a bit off: https://coq.github.io/doc/v8.16/refman/changes.html

view this post on Zulip Ali Caglayan (Jun 05 2022 at 00:00):

The table of contents is followed by empty headers followed by the content?

view this post on Zulip Gaëtan Gilbert (Jun 05 2022 at 08:42):

isn't it just that "unreleased changes" is empty?

view this post on Zulip Théo Zimmermann (Jun 05 2022 at 09:20):

Yes, that's normal

view this post on Zulip Théo Zimmermann (Jun 05 2022 at 09:22):

If you look at https://coq.github.io/doc/V8.16+rc1/refman/changes.html instead, it doesn't have this issue.


Last updated: Feb 02 2023 at 15:04 UTC