[isabelle-dev] Indexing the Isabelle-users archive

Makarius makarius at sketis.net
Tue Feb 8 14:51:16 CET 2022


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


More information about the isabelle-dev mailing list