On Fri, May 09, 2025 at 10:41:52PM +0100, Rob Arthan wrote: > I’d be happy to create a replacement Poly/ML mailing list hosted at > lemma-one.com <http://lemma-one.com/> where (I hope) I can set it up > as a good old-fashioned mailing list, like the ProofPower mailing > list.
> If people are interested, I can make enquires of Interserver who are > my ISP about whether we can port things across from the old list. I personally will be happy if the list survives as a list, even if I have to resubscribe -- assuming, of course, I'll be able to. Please just keep us informed. -- Ian _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
