src/Pure/PIDE/command.ML
2012-08-11 ago vacuous execution after first malformed command;
2012-08-11 ago clarified Command.range vs. Command.proper_range according to Scala version, which is potentially relevant for command status markup;
2012-04-07 ago added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);
2012-04-07 ago explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions;
2012-04-05 ago more explicit memo_eval vs. memo_result, to enforce bottom-up execution;
2012-04-05 ago Command.memo including physical interrupts (unlike Lazy.lazy);
2012-04-04 ago separate module for prover command execution;