Hi all,
It seems that the main Isabelle repository got corrupted again and is
currently unavailable.
Since the error seems to be the same as last time, I expect to be able
to fix it quickly. Apparently, the error is correlated with me pushing
some changes in, so I guess I'll have to try to reproduce it with a
clone and track it down...
Alex
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
