On Thu, 12 Feb 2015, Andreas Lochbihler wrote:
I have the impression that your push has not made it to the official afp-code. At least, I cannot see it onhttp://sourceforge.net/p/afp/code/ci/6ff9a8c6405d04f28365434a0e7bd65ea89aad86/log/ although my commits do show up there.
I have pushed it once more.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
