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 <[email protected]> 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 >>> [email protected] >>> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> _______________________________________________ >> polyml mailing list >> [email protected] >> http://lists.inf.ed.ac.uk/mailman/listinfo/polyml > _______________________________________________ > polyml mailing list > [email protected] > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
