Sat, 15 Aug 2015 19:42:35 +0200 wenzelm clarified context;
Sat, 15 Aug 2015 19:11:11 +0200 wenzelm tuned GUI;
Sat, 15 Aug 2015 19:07:11 +0200 wenzelm proper setup of evaluation context;
Sat, 15 Aug 2015 19:00:04 +0200 wenzelm tuned;
Sat, 15 Aug 2015 18:59:31 +0200 wenzelm more robust access to stable tip version: take all pending edits into account, don't assume model for current buffer;
Sat, 15 Aug 2015 17:38:20 +0200 wenzelm allow to break running threads at next possible breakpoint (simplified version of former option, see f3039309702e);
Sat, 15 Aug 2015 16:47:52 +0200 wenzelm tuned signature;
Thu, 13 Aug 2015 15:22:11 +0200 haftmann qualified adjust_*
Thu, 13 Aug 2015 10:05:58 +0200 haftmann more lemmas
Thu, 13 Aug 2015 16:47:00 +0200 traytel unfold intermediate definitions (stemming from composition) in lifted bnf operations
Thu, 13 Aug 2015 13:55:52 +0200 wenzelm merged
Thu, 13 Aug 2015 13:55:48 +0200 wenzelm more standard options;
Thu, 13 Aug 2015 11:40:31 +0200 wenzelm prefer official @{make_string};
Thu, 13 Aug 2015 11:05:19 +0200 wenzelm tuned signature, in accordance to sortBy in Scala;
Wed, 12 Aug 2015 21:38:39 +0200 wenzelm clarified modules;
Thu, 13 Aug 2015 11:14:16 +0200 traytel tuned NEWS
Wed, 12 Aug 2015 20:46:33 +0200 traytel actually process lift_bnf regression suite
Wed, 12 Aug 2015 20:46:33 +0200 traytel NEWS, CONTRIBUTORS, documentation for lift_bnf
Wed, 12 Aug 2015 20:46:33 +0200 traytel use lift_bnf in an example
Wed, 12 Aug 2015 20:46:33 +0200 traytel new command for lifting BNF structure over typedefs
Wed, 12 Aug 2015 13:56:46 +0200 wenzelm more thorough reload;
Wed, 12 Aug 2015 13:53:51 +0200 wenzelm resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
Wed, 12 Aug 2015 03:07:01 +0200 wenzelm merged
Wed, 12 Aug 2015 02:40:39 +0200 wenzelm tuned colors;
Wed, 12 Aug 2015 02:21:00 +0200 wenzelm clarified breakpoint rendering;
Wed, 12 Aug 2015 02:20:06 +0200 wenzelm clarified;
Wed, 12 Aug 2015 01:39:31 +0200 wenzelm default ML context for forks, e.g. relevant for debugging and toplevel pretty-printing;
Wed, 12 Aug 2015 01:25:00 +0200 wenzelm clarified init/exit vs. session phase;
Wed, 12 Aug 2015 10:15:18 +1000 Daniel Matichuk clarify type vs. term instantiation when forming closure;
Tue, 11 Aug 2015 22:17:19 +0200 wenzelm more accurate dependencies;
Tue, 11 Aug 2015 22:11:09 +0200 wenzelm tuned;
Tue, 11 Aug 2015 22:06:25 +0200 wenzelm clarified thread re-selection;
Tue, 11 Aug 2015 22:01:11 +0200 wenzelm clarified tree row handling;
Tue, 11 Aug 2015 21:36:25 +0200 wenzelm proper context (amending 7aad4be8a48e);
Tue, 11 Aug 2015 21:24:11 +0200 wenzelm suppress threads without debug state;
Tue, 11 Aug 2015 21:15:29 +0200 wenzelm clarified events;
Tue, 11 Aug 2015 20:49:22 +0200 wenzelm clarified GUI event handling;
Tue, 11 Aug 2015 20:32:56 +0200 wenzelm tuned signature;
Tue, 11 Aug 2015 20:28:11 +0200 wenzelm tuned;
Tue, 11 Aug 2015 20:21:13 +0200 wenzelm misc tuning and clarification;
Tue, 11 Aug 2015 20:05:27 +0200 wenzelm print values for stack entry;
Tue, 11 Aug 2015 18:42:29 +0200 wenzelm clarified output;
Tue, 11 Aug 2015 18:00:28 +0200 wenzelm default ML context for all command transactions, e.g. relevant for debugging and toplevel pretty-printing;
Tue, 11 Aug 2015 17:06:23 +0200 wenzelm clarified break *point* position;
Tue, 11 Aug 2015 17:00:16 +0200 wenzelm support hyperlinks with optional focus change;
Tue, 11 Aug 2015 15:24:49 +0200 wenzelm tuned;
Tue, 11 Aug 2015 14:35:08 +0200 wenzelm vacuous input means continue, e.g. after exit;
Tue, 11 Aug 2015 14:21:00 +0200 wenzelm GUI actions depend on active debugger;
Tue, 11 Aug 2015 14:13:36 +0200 wenzelm init/exit depending on active debugger panels;
Tue, 11 Aug 2015 13:50:59 +0200 wenzelm eliminated cancel operation: disrupts normal evaluation of thread;
Tue, 11 Aug 2015 11:55:41 +0200 wenzelm register thread such that cancel works;
Mon, 10 Aug 2015 22:34:00 +0200 wenzelm clarified default selection;
Mon, 10 Aug 2015 22:21:55 +0200 wenzelm report final debugger_state more robustly, e.g. after interrupt;
Mon, 10 Aug 2015 21:11:15 +0200 wenzelm eliminated global option: breakpoints control this individually;
Mon, 10 Aug 2015 21:06:10 +0200 wenzelm more uniform ScrollPane, like graphview;
Mon, 10 Aug 2015 20:42:59 +0200 wenzelm tuned signature;
Mon, 10 Aug 2015 20:25:04 +0200 wenzelm tuned rendering;
Mon, 10 Aug 2015 20:22:49 +0200 wenzelm set breakpoint state on ML side, relying on stable situation within the PIDE editing queue;
Mon, 10 Aug 2015 19:17:49 +0200 wenzelm more thorough Encode.string;
Mon, 10 Aug 2015 17:49:36 +0200 wenzelm added action to toggle breakpoints (on editor side);
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip