> I will send another update on Monday when the upgrades went through. The upgrades should be done now. In case you get any suspicious mails, please forward them to me.
Cheers Lars _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
