| Fri, 12 Feb 2016 22:36:48 +0100 | wenzelm | merged | file | diff | annotate |
| Mon, 01 Feb 2016 14:10:07 +0100 | wenzelm | tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0; | file | diff | annotate |
| Sun, 31 Jan 2016 19:54:40 +0100 | wenzelm | more on "ML debugging within the Prover IDE"; | file | diff | annotate |
| Sun, 24 Jan 2016 13:07:50 +0100 | wenzelm | proper NEWS for this release; | file | diff | annotate |
| Sun, 24 Jan 2016 12:33:09 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sun, 24 Jan 2016 12:21:57 +0100 | wenzelm | discontinued irregular abbrevs: ".o" counts as word, "+o", "*o", "-o" are occasionally used as ASCII notation, "*o" is in conflict with "(*o" in comments; | file | diff | annotate |
| Fri, 22 Jan 2016 14:46:02 +0100 | wenzelm | tuned markup, e.g. relevant for Rendering.tooltip; | file | diff | annotate |