I’m taking care of it Larry > On 16 Jun 2016, at 10:44, Manuel Eberl <ebe...@in.tum.de> wrote: > > Sure, I can do that later today.
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev