Sat, 15 Aug 2015 19:42:35 +0200 | wenzelm | clarified context; | changeset | files |
Sat, 15 Aug 2015 19:11:11 +0200 | wenzelm | tuned GUI; | changeset | files |
Sat, 15 Aug 2015 19:07:11 +0200 | wenzelm | proper setup of evaluation context; | changeset | files |
Sat, 15 Aug 2015 19:00:04 +0200 | wenzelm | tuned; | changeset | files |
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; | changeset | files |
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); | changeset | files |