Stream: Coq users

Topic: ✔ Online documentation broken?


view this post on Zulip Notification Bot (Oct 02 2023 at 14:31):

Jerome Hugues has marked this topic as resolved.

view this post on Zulip Julin Shaji (Oct 03 2023 at 05:31):

Is the migration still ongoing?

https://coq.inria.fr/library/Coq.Lists.List.html
is giving 404 for me.

view this post on Zulip Gaëtan Gilbert (Oct 03 2023 at 07:38):

if you follow the links from https://coq.inria.fr/ it goes to https://coq.inria.fr/doc/V8.17.1/stdlib/Coq.Lists.List.html
however the css seems broken


Last updated: Jun 23 2024 at 03:02 UTC