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, but the link to the archives at https://lists.inf.ed.ac.uk/pipermail/polyml/ is is broken.
Cheers,
Rob.
On Wed, Aug 21, 2024 at 2:14?PM Rob Arthan <rda at lemma-one.com> wrote:
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, but the link to the archives at https://lists.inf.ed.ac.uk/pipermail/polyml/ is is broken.
Well, I received this message.
-- Paul
Who the fuck are you people.? ?Sent from my Galaxy -------- Original message --------From: "Paul A. Steckler" <steck at stecksoft.com> Date: 8/21/24 6:55 PM (GMT-05:00) To: Rob Arthan <rda at lemma-one.com> Cc: David Matthews <David.Matthews at prolingua.co.uk>, Poly/ML List <polyml at inf.ed.ac.uk> Subject: Re: [polyml] Is the list still up and running? On Wed, Aug 21, 2024 at 2:14?PM Rob Arthan <rda at lemma-one.com> wrote:> 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, but the link to the archives at https://lists.inf.ed.ac.uk/pipermail/polyml/ is? is broken.Well, I received this message.-- Paul_______________________________________________polyml mailing listpolyml at inf.ed.ac.ukhttp://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Apologies. This person has been removed from the list. David
On 23/08/2024 04:41, klevine21 via polyml wrote:
Who
Sent from my Galaxy
-------- Original message -------- From: "Paul A. Steckler" <steck at stecksoft.com> Date: 8/21/24 6:55 PM (GMT-05:00) To: Rob Arthan <rda at lemma-one.com> Cc: David Matthews <David.Matthews at prolingua.co.uk>, Poly/ML List
<polyml at inf.ed.ac.uk> Subject: Re: [polyml] Is the list still up and running?
On Wed, Aug 21, 2024 at 2:14?PM Rob Arthan <rda at lemma-one.com> wrote:
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, but the link to the archives at https://lists.inf.ed.ac.uk/pipermail/polyml/ is? is broken.
Well, I received this message.
-- Paul _______________________________________________ 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
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
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
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
I've been in touch with support at Informatics. The problem has been fixed and the archives are now visible as before. Thanks for raising this. 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, but the link to the archives at 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
-
dave＠berrybental.me.uk -
David.Matthews＠prolingua.co.uk -
klevine21＠yahoo.com -
rda＠lemma-one.com -
steck＠stecksoft.com