On 08/02/2022 12:31, Lawrence Paulson wrote:
As expected, our IT people aren't in the least concerned that their migration
to a new mailing list manager has broken all the links to our message archive.
A colleague has suggested something we can do ourselves: inserting links to the
new message archive in prominent places. That way people can at least search
the archives explicitly, and moreover, they should quickly be picked up by web
crawlers in their new locations and once again be visible to Google searches.
The relevant link is https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/
But I suppose that the main Isabelle page is never modified between releases…
Or is it?
There is no problem to change the Isabelle website at any time: its repository
is separate from main Isabelle
https://isabelle-dev.sketis.net/source/isabelle-website
Whatever we do, we should have a good understanding of the situation and a
good plan. (I did not yet look carefully at the new situation.)
As pointed out before, shortly before Christmas I was about to produce a new
Mailing list archive for isabelle-users and isabelle-dev based on the great
new technology of https://discuss.flarum.org
I got delayed by other projects and now we even have this "update" to the
rather old-fashioned Sympa.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
