[isabelle-dev] Mittagessen

Makarius makarius at sketis.net
Wed Oct 4 21:29:16 CEST 2017


Hallo Jens,

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


	Makarius


More information about the isabelle-dev mailing list