added "tasks_proof" statistics, via slighly odd global reference Future.forked_proofs (NB: Future.report_status is intertwined with scheduler thread);
/* Title: Pure/package.scala
Module: PIDE
Author: Makarius
Toplevel isabelle package.
*/
package object isabelle extends isabelle.Basic_Library
{
}