Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Sous-traitance Isabelle_DOF


view this post on Zulip 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: Mar 04 2024 at 10:08 UTC