Email Gateway (Aug 18 2022 at 19:00): Email Gateway (Aug 18 2022 at 19:00):From: Thomas Genet <Thomas.Genet@irisa.fr>
Dear all Isabelle users,
it seems that the "documentation" part of the web site is down (since
yesterday):
http://www.cl.cam.ac.uk/research/hvg/isabelle/documentation
is "Not found"
Best regards,
Thomas
Email Gateway (Aug 18 2022 at 19:00):From: Alfio Martini <alfio.martini@acm.org>
It must be in Cambridge only. At the TUM site, it is up!
Email Gateway (Aug 18 2022 at 19:00):From: Steven Obua <steven.obua@googlemail.com>
I think the url is wrong. It should be documentation.html, not just documentation
Cheers,
Steven
Email Gateway (Aug 18 2022 at 19:00):From: Lawrence Paulson <lp15@cam.ac.uk>
I have patched the index page, so it works for the moment.
No idea why the mirror script isn't working any more.
Larry Paulson
Email Gateway (Aug 18 2022 at 19:00):From: Thomas Genet <Thomas.Genet@irisa.fr>
True, but it was the url given by the "Documentation" tab of the
Isabelle UK site :-)
Now it works again...
Best regards,
Thomas
Email Gateway (Aug 18 2022 at 19:00):From: Thomas Genet <Thomas.Genet@irisa.fr>
Thanks a lot Larry for fixing it!
Best regards,
Thomas
Email Gateway (Aug 18 2022 at 19:00):From: Johannes Hölzl <hoelzl@in.tum.de>
Sorry this was my change. I removed the .html to not change the url when
the contents changes to a directory or a wiki, like
"isabelle.in.tum.de/community"
It looks like Content Negotiation is not active on the Cambridge server.
When it is active access to "abc" maps to "abc.html"
I changed the navigation back to have the html-ending in the url.
Another question is: Are the mirrors still required?
Email Gateway (Aug 18 2022 at 19:00):From: Gerwin Klein <gerwin.klein@nicta.com.au>
In AU, I'd say yes.
The students have download quotas for non-local content, and the distribution is fairly big. It would be enough to mirror the distribution files, if that makes life easier.
Cheers,
Gerwin
Last updated: Apr 23 2024 at 16:19 UTC