src/Pure/Tools/debugger.scala
2015-08-10 wenzelm 2015-08-10 rendering for debugger/breakpoint active state;
2015-08-10 wenzelm 2015-08-10 follow debugger focus;
2015-08-08 wenzelm 2015-08-08 more single stepping;
2015-08-07 wenzelm 2015-08-07 proper Symbol.decode/encode;
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-06 wenzelm 2015-08-06 more controls;
2015-08-05 wenzelm 2015-08-05 protocol support for thread debugger state;
2015-07-30 wenzelm 2015-07-30 clarified management of (single) session; proper Debugger.Update events;
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;