Email Gateway (Mar 30 2023 at 15:53): Email Gateway (Mar 30 2023 at 15:53):From: Burkhart Wolff <wolff@lri.fr>
Bonjour,
le virement pour Makarius Wenzel (soutraitance DOF)
n’est toujours pas effectuer . Est-ce que tu peux relancer ?
Amicalement
bu
isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
Last updated: Feb 01 2025 at 20:19 UTC