2015-08-10 wenzelm 2015-08-10 tuned signature;
2015-08-10 wenzelm 2015-08-10 tuned imports;
2015-08-10 wenzelm 2015-08-10 tuned messages;
2015-08-10 wenzelm 2015-08-10 clarified ML options;
2015-08-08 wenzelm 2015-08-08 merged
2015-08-08 wenzelm 2015-08-08 more single stepping;
2015-08-08 haftmann 2015-08-08 direct bootstrap of integer division from natural division
2015-08-06 haftmann 2015-08-06 slight cleanup of lemmas
2015-08-06 haftmann 2015-08-06 obsolete since no code generator without dictionary construction left
2015-08-07 wenzelm 2015-08-07 make SML/NJ work;
2015-08-07 wenzelm 2015-08-07 suppress empty messages as usual;
2015-08-07 wenzelm 2015-08-07 proper Symbol.decode/encode;
2015-08-07 wenzelm 2015-08-07 eval ML context; tuned GUI;
2015-08-07 wenzelm 2015-08-07 maintain history more often;
2015-08-06 wenzelm 2015-08-06 approximate old selection after update;
2015-08-06 wenzelm 2015-08-06 expand all rows for robustness and simplicity; tuned signature;
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-06 wenzelm 2015-08-06 tuned;
2015-08-06 wenzelm 2015-08-06 more controls;
2015-08-06 wenzelm 2015-08-06 tuned;
2015-08-06 wenzelm 2015-08-06 clarified signature, to make debugger.ML compile with current official ML versions;
2015-08-05 wenzelm 2015-08-05 support for tree selection;
2015-08-05 wenzelm 2015-08-05 proper dynamic update;
2015-08-05 wenzelm 2015-08-05 tuned;
2015-08-05 wenzelm 2015-08-05 more GUI components;
2015-08-05 wenzelm 2015-08-05 tuned;
2015-08-05 wenzelm 2015-08-05 tuned;
2015-08-05 wenzelm 2015-08-05 more controls;
2015-08-05 wenzelm 2015-08-05 proper initialization;
2015-08-05 wenzelm 2015-08-05 tuned signature;
2015-08-05 wenzelm 2015-08-05 protocol support for thread debugger state;
2015-08-04 wenzelm 2015-08-04 eliminated clone;
2015-08-04 wenzelm 2015-08-04 merged
2015-08-04 wenzelm 2015-08-04 more symbols; more spaces;
2015-08-04 wenzelm 2015-08-04 more symbols;
2015-08-04 traytel 2015-08-04 more documentation of coercions
2015-07-30 wenzelm 2015-07-30 merged
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-30 wenzelm 2015-07-30 provide CharSequence operations as well;
2015-07-29 wenzelm 2015-07-29 more GUI components;
2015-07-29 wenzelm 2015-07-29 tuned;
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-30 Andreas Lochbihler 2015-07-30 add coinduction rule for infinite
2015-07-28 wenzelm 2015-07-28 merged
2015-07-28 wenzelm 2015-07-28 clarified context;
2015-07-28 wenzelm 2015-07-28 more explicit context; tuned signature;
2015-07-28 wenzelm 2015-07-28 eliminated dead code;
2015-07-28 wenzelm 2015-07-28 clarified Variable.gen_all; simplified Local_Defs.export: pointless partial application;
2015-07-28 wenzelm 2015-07-28 more explicit context;
2015-07-28 wenzelm 2015-07-28 more direct access to atomic cterms;
2015-07-28 wenzelm 2015-07-28 clarified context;
2015-07-28 wenzelm 2015-07-28 proper context;
2015-07-28 wenzelm 2015-07-28 more direct access to atomic cterms;
2015-07-28 wenzelm 2015-07-28 clarified context;
2015-07-28 wenzelm 2015-07-28 clarified context;
2015-07-28 wenzelm 2015-07-28 clarified context;