notification about delayed support for Isabelle2013-1