src/Pure/PIDE/command.ML
2012-11-25 ago Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-10-16 ago more proof method text position information;
2012-08-31 ago further refinement of command status, to accomodate forked proofs;
2012-08-24 ago check side-comments of command spans (normally filtered out in Outer_Syntax.toplevel_source);
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;