| Wed, 25 Mar 2020 17:38:22 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Sat, 21 Mar 2020 22:12:21 +0100 | wenzelm | merged; | file | diff | annotate |
| Sat, 21 Mar 2020 21:41:13 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Fri, 20 Mar 2020 22:41:49 +0100 | wenzelm | more NEWS; | file | diff | annotate |
| Sun, 15 Mar 2020 13:20:22 +0100 | wenzelm | back to post-release mode; | file | diff | annotate |
| Sat, 14 Mar 2020 14:23:52 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 13 Mar 2020 23:25:34 +0100 | wenzelm | proper escape for literal single quotes; | file | diff | annotate |
| Fri, 13 Mar 2020 16:04:27 +0100 | wenzelm | allow slightly odd "' " in mixfix as documented (introduced in 55754d6d399c, but broken in be8a8d60d962); | file | diff | annotate |
| Thu, 12 Mar 2020 23:05:11 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Tue, 10 Mar 2020 14:16:19 +0100 | Manuel Eberl | updated NEWS w.r.t. e0237f2eb49d | file | diff | annotate |
| Fri, 06 Mar 2020 20:18:21 +0100 | wenzelm | support Java/VM monitoring via jconsole; | file | diff | annotate |
| Mon, 02 Mar 2020 13:43:52 +0100 | wenzelm | more documentation; | file | diff | annotate |
| Sun, 01 Mar 2020 21:52:21 +0100 | wenzelm | more Isabelle/jEdit actions; | file | diff | annotate |
| Sat, 29 Feb 2020 17:16:17 +0100 | wenzelm | more Isabelle/jEdit actions; | file | diff | annotate |
| Fri, 28 Feb 2020 22:23:43 +0100 | wenzelm | NEWS; | file | diff | annotate |