Stream: Coq users

Topic: Infinite redirect for tactic index?


view this post on Zulip Ralf Jung (Oct 02 2023 at 12:54):

The link at https://coq.inria.fr/refman/coq-tacindex.html seems broken. It redirects to https://coq.inria.fr/doc/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/V8.17.1/refman/coq-tacindex.html and then my browser gives up.

view this post on Zulip Ralf Jung (Oct 02 2023 at 12:55):

in fact the entire refman seems down, https://coq.inria.fr/doc/V8.17.1/refman/ leads to a similar issue

view this post on Zulip Ralf Jung (Oct 02 2023 at 12:57):

this also affects the "Reference Manual" link on https://coq.inria.fr/, not just my bookmarks

view this post on Zulip Kenji Maillard (Oct 02 2023 at 12:59):

Could it be a side effect of the ongoing website migration ?

view this post on Zulip Théo Zimmermann (Oct 02 2023 at 13:02):

This is related indeed, but should be fixed now.

view this post on Zulip Ralf Jung (Oct 02 2023 at 13:47):

Théo Zimmermann said:

This is related indeed, but should be fixed now.

not fixed here yet

view this post on Zulip Ralf Jung (Oct 02 2023 at 13:47):

but maybe my browser cached the wrong redirect now...

view this post on Zulip Ralf Jung (Oct 02 2023 at 13:48):

yeah when I clear the cache it seems to work


Last updated: Jun 13 2024 at 21:01 UTC