src/Pure/PIDE/active.ML
10 months ago ago tuned signature;
2017-06-22 ago more informative task_statistics;
2016-07-16 ago tuned signature;
2013-07-18 ago explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it;
2012-12-13 ago smarter handling of tracing messages: prover process pauses and enters user dialog;
2012-12-13 ago tuned;
2012-12-13 ago identify dialogs via official serial and maintain as result message;
2012-12-12 ago support dialog via document content;
2012-12-10 ago generalized notion of active area, where sendback is just one application;