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