The earlier the better because, as I told you at ITP, I have a course starting in the middle of October and they need to use a new Isabelle, in the worst case a release candidate.
Tobias Am 02/09/2013 15:37, schrieb Makarius: > The French summer vacation period has ended, so I've switched myself now into > "consolidation mode" to put things into shape for release. > > The first release candidates of Isabelle2013-1 will probably happen in the > first > or second week of October. > > > Makarius > _______________________________________________ > isabelle-dev mailing list > isabelle-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
