Ralf Jung (Oct 02 2023 at 12:54): 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.
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
Ralf Jung (Oct 02 2023 at 12:57):this also affects the "Reference Manual" link on https://coq.inria.fr/, not just my bookmarks
Kenji Maillard (Oct 02 2023 at 12:59):Could it be a side effect of the ongoing website migration ?
Théo Zimmermann (Oct 02 2023 at 13:02):This is related indeed, but should be fixed now.
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
Ralf Jung (Oct 02 2023 at 13:47):but maybe my browser cached the wrong redirect now...
Ralf Jung (Oct 02 2023 at 13:48):yeah when I clear the cache it seems to work
Last updated: Oct 13 2024 at 01:02 UTC