Being back from VSL 2014 (after the middle ITP week with adjacent
workshops), I have started to pick up this important thread again.
Isabelle2014-RC0 was meant as early-access quasi release-candidate for VSL
presentations. That event finishes at the end of this week. At the same
time the regular Isabelle2014-RC1 phase could start, as far as I can see
at the moment.
This means the main Isabelle repository needs to converge for the release
fork, presumably on Sunday 27-Jul-2014. If there are big questions
pending or problems looming in the background, they should be put forward
now. I have myself a long list of minor items, which are cumulatively
quite some substance to digest.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
