src/Pure/Tools/debugger.ML
2017-03-14 wenzelm 2017-03-14 more robust debugger initialization, e.g. required for GUI components before actual session startup;
2016-09-05 wenzelm 2016-09-05 clarified modules;
2016-04-09 wenzelm 2016-04-09 clarified modules; removed unsed exn_id;
2016-04-09 wenzelm 2016-04-09 tuned signature; proper signature for structure;
2016-04-09 wenzelm 2016-04-09 clarified bootstrap;
2016-04-07 wenzelm 2016-04-07 more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use'; avoid slowdown of Resources.loaded_files due to command name 'use' in Pure base syntax;
2016-04-06 wenzelm 2016-04-06 tuned signature;
2016-04-06 wenzelm 2016-04-06 clarified modules; tuned signature;
2016-04-05 wenzelm 2016-04-05 clarified modules -- simplified bootstrap;
2016-04-05 wenzelm 2016-04-05 clarified modules -- simplified bootstrap;
2016-04-05 wenzelm 2016-04-05 support bootstrap from fresh SML environment, with syntax of Isabelle/ML or SML;
2016-04-02 wenzelm 2016-04-02 tuned signature;
2016-03-18 wenzelm 2016-03-18 clarified modules; tuned signature;
2016-03-05 wenzelm 2016-03-05 tuned signature -- clarified modules;
2016-03-03 wenzelm 2016-03-03 clarified modules; tuned signature;
2016-03-03 wenzelm 2016-03-03 clarified modules;
2016-02-23 wenzelm 2016-02-23 support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
2015-12-21 wenzelm 2015-12-21 tuned message;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-08-17 wenzelm 2015-08-17 explicit debug flag for ML compiler;
2015-08-15 wenzelm 2015-08-15 proper setup of evaluation context;
2015-08-15 wenzelm 2015-08-15 allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e);
2015-08-15 wenzelm 2015-08-15 tuned signature;
2015-08-13 wenzelm 2015-08-13 tuned signature, in accordance to sortBy in Scala;
2015-08-11 wenzelm 2015-08-11 proper context (amending 7aad4be8a48e);
2015-08-11 wenzelm 2015-08-11 print values for stack entry;
2015-08-11 wenzelm 2015-08-11 vacuous input means continue, e.g. after exit;
2015-08-11 wenzelm 2015-08-11 init/exit depending on active debugger panels;
2015-08-11 wenzelm 2015-08-11 eliminated cancel operation: disrupts normal evaluation of thread;
2015-08-11 wenzelm 2015-08-11 register thread such that cancel works;
2015-08-10 wenzelm 2015-08-10 report final debugger_state more robustly, e.g. after interrupt;
2015-08-10 wenzelm 2015-08-10 eliminated global option: breakpoints control this individually;
2015-08-10 wenzelm 2015-08-10 set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
2015-08-10 wenzelm 2015-08-10 added action to toggle breakpoints (on editor side);
2015-08-10 wenzelm 2015-08-10 clarified ML options;
2015-08-08 wenzelm 2015-08-08 more single stepping;
2015-08-07 wenzelm 2015-08-07 suppress empty messages as usual;
2015-08-07 wenzelm 2015-08-07 eval ML context; tuned GUI;
2015-08-06 wenzelm 2015-08-06 evaluate ML expressions within debugger context; redirected writeln/warning for ML compiler;
2015-08-06 wenzelm 2015-08-06 clarified debugger loop; more controls;
2015-08-06 wenzelm 2015-08-06 clarified thread state; support for eval operation;
2015-08-05 wenzelm 2015-08-05 protocol support for thread debugger state;
2015-07-30 wenzelm 2015-07-30 maintain debugger output messages;
2015-07-29 wenzelm 2015-07-29 separate channel for debugger output; clarified thread name;
2015-07-29 wenzelm 2015-07-29 clarified thread name;
2015-07-21 wenzelm 2015-07-21 support for ML debugger;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;