Hallo Jens,

wie sieht es diese Woche mit Mittagessen aus? Bei mir ginge Do und Fr,
jeweils 13:00.


        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Reply via email to