src/Pure/PIDE/execution.ML
2013-07-12 ago clarified module name;