Talk:Isabelle/@comment-24507751-20140517080730/@comment-3182180-20140518003549

Usually they will come during the second half of the year. (June ~ December)