tuned signature;

qualified adjust_*

more lemmas

unfold intermediate definitions (stemming from composition) in lifted bnf operations

merged

more standard options; refrain from accessing PolyML internals;

prefer official @{make_string};

tuned signature, in accordance to sortBy in Scala;

clarified modules;

tuned NEWS

actually process lift_bnf regression suite

NEWS, CONTRIBUTORS, documentation for lift_bnf

use lift_bnf in an example

new command for lifting BNF structure over typedefs

more thorough reload;

resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;

merged

tuned colors;

clarified breakpoint rendering;

clarified;

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

clarified init/exit vs. session phase;

clarify type vs. term instantiation when forming closure;

more accurate dependencies;

tuned;

clarified thread re-selection;

clarified tree row handling;

proper context (amending 7aad4be8a48e);

suppress threads without debug state;

clarified events; tuned signature;

clarified GUI event handling;

tuned signature;