Zulip Chat Archive
Stream: lean4
Topic: lean website under construction?
Asei Inoue (Sep 27 2024 at 18:12):
when I access to lean-lang.org page...
Asei Inoue (Sep 27 2024 at 18:13):
is it really under construction?? I hope it is not some kind of mistake.
Asei Inoue (Sep 27 2024 at 18:42):
This github link is correct?? (I think leanprover's organization is correct link)
Henrik Böving (Sep 27 2024 at 18:43):
Asei Inoue said:
is it really under construction?? I hope it is not some kind of mistake.
yes
Henrik Böving (Sep 27 2024 at 18:43):
But I'm getting the proper old page again now?
Henrik Böving (Sep 27 2024 at 18:43):
Maybe some caching is active for me still
Asei Inoue (Sep 27 2024 at 18:44):
push ctrl + F5
Henrik Böving (Sep 27 2024 at 18:44):
Already did
Henrik Böving (Sep 27 2024 at 18:45):
unclear, i'm sure it'll fix itself :tm:
Kyle Miller (Sep 27 2024 at 18:46):
Thanks for reporting this @Asei Inoue. I checked internally, and the website is currently being switched over to a new version.
Bharat Bhat (Sep 27 2024 at 19:54):
Thanks @Asei Inoue and @Kyle Miller . We had a momentary issue with DNS that we have resolved. I'll send a note when we have more news on the new version :smile:
Last updated: May 02 2025 at 03:31 UTC