On 01/06/2017 09:46 AM, Ralf Jung wrote: > (I don't know if my previous mail got through, as I didn't get the mail > myself via the list -- and I cannot access the list subscriber options > to check whether I enabled getting my own mails, because the website is > not working properly either. I informed the list owner about this.)
Your email did get through (thanks for the thoughts!). I'll let Hendrik reply on the technical aspects :)
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
