src/Pure/Tools/debugger.ML
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;