Dave,
Thanks. I?ve asked Jacques Fleuriot to see if he can prod somebody about this - he?s an academic, but as an Isabelle user of many years standing, he should have an interest in helping us out.
Cheers,
Rob.
On 22 Aug 2024, at 08:19, Dave Berry <dave at berrybental.me.uk> wrote:
Specifically, you'd need to contact someone in Informatics, as they maintain(ed) this list. There's a list of computing staff on their website, if there are any names there who you recognise: https://www.ed.ac.uk/informatics/people/computing . (I could mail someone and see if they know anything, but I don't actually know who in Informatics looks after mail servers, so I'm no better informed than you).
Alternatively you could ask the central Information Services Helpline, but they'd probably just refer you to Informatics: https://www.ishelpline.ed.ac.uk/forms/
Dave.
https://www.ishelpline.ed.ac.uk/forms/
On 22/08/2024 08:01, David Matthews wrote:
Hi Rob, The list still seems to be working but as you say the archive link isn't.
I no longer have an account at Edinburgh. Is there anyone on the list at Edinburgh who could contact support there and ask what's happening? I'm guessing they've made some changes and didn't let me know.
Regards, David
On 21/08/2024 22:10, Rob Arthan wrote:
Dear All,
As the subject line says, is the Poly/ML list still up and running? The website for the list is still there at https://lists.inf.ed.ac.uk/mailman/listinfo/polyml https://lists.inf.ed.ac.uk/mailman/listinfo/polyml, but the link to the archives at https://lists.inf.ed.ac.uk/pipermail/polyml/ https://lists.inf.ed.ac.uk/pipermail/polyml/ is is broken.
Cheers,
Rob.
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml