| 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 |
| Sat, 15 Aug 2015 16:47:52 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 13 Aug 2015 15:22:11 +0200 | haftmann | qualified adjust_* | changeset | files |
| Thu, 13 Aug 2015 10:05:58 +0200 | haftmann | more lemmas | changeset | files |
| Thu, 13 Aug 2015 16:47:00 +0200 | traytel | unfold intermediate definitions (stemming from composition) in lifted bnf operations | changeset | files |
| Thu, 13 Aug 2015 13:55:52 +0200 | wenzelm | merged | changeset | files |