clarified tree row handling;

proper context (amending 7aad4be8a48e);

suppress threads without debug state;

clarified events; tuned signature;

clarified GUI event handling;

tuned signature;

tuned;

misc tuning and clarification;

print values for stack entry;

clarified output;

default ML context for all command transactions, e.g. relevant for debugging and toplevel pretty-printing;

clarified break *point* position;

support hyperlinks with optional focus change; no change of focus for debuffer position, to avoid visual glitches and keep panel active;

tuned;

vacuous input means continue, e.g. after exit;

GUI actions depend on active debugger;

init/exit depending on active debugger panels;

eliminated cancel operation: disrupts normal evaluation of thread;

register thread such that cancel works;

clarified default selection;

report final debugger_state more robustly, e.g. after interrupt;

eliminated global option: breakpoints control this individually;

more uniform ScrollPane, like graphview;

tuned signature; more rendering;

tuned rendering;

set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;

more thorough Encode.string;

added action to toggle breakpoints (on editor side);

sort lines;

rendering for debugger/breakpoint active state;

follow debugger focus;

tuned signature;

tuned imports;

tuned messages;

clarified ML options;

merged

more single stepping;

direct bootstrap of integer division from natural division

slight cleanup of lemmas

obsolete since no code generator without dictionary construction left

make SML/NJ work;

suppress empty messages as usual;

proper Symbol.decode/encode;

eval ML context; tuned GUI;

maintain history more often;

approximate old selection after update;

expand all rows for robustness and simplicity; tuned signature;

evaluate ML expressions within debugger context; redirected writeln/warning for ML compiler;

clarified debugger loop; more controls;

clarified thread state; support for eval operation;

tuned;

more controls;

tuned;

clarified signature, to make debugger.ML compile with current official ML versions;

support for tree selection;

proper dynamic update;