| 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 |
| Sat, 15 Aug 2015 16:47:52 +0200 | wenzelm | tuned signature; | changeset | files |