| Mon, 06 Apr 2020 21:18:16 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Thu, 02 Apr 2020 13:04:24 +0200 | wenzelm | merged | file | diff | annotate |
| 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 |
| Wed, 26 Feb 2020 19:50:04 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Wed, 26 Feb 2020 19:26:00 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Tue, 25 Feb 2020 18:30:08 +0100 | wenzelm | update to WebviewPanel API, following initial version by Peter Zeller; | file | diff | annotate |
| Sun, 16 Feb 2020 20:07:28 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Sat, 15 Feb 2020 21:15:03 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Tue, 11 Feb 2020 17:03:14 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Tue, 11 Feb 2020 15:39:05 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Mon, 10 Feb 2020 23:04:45 +0100 | wenzelm | proper symbols; | file | diff | annotate |
| Mon, 10 Feb 2020 22:47:43 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 10 Feb 2020 22:40:00 +0100 | wenzelm | recover from Unicode accident in 4abd07cd034f; | file | diff | annotate |
| Mon, 10 Feb 2020 22:32:29 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 10 Feb 2020 22:24:01 +0100 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 10 Feb 2020 21:59:24 +0100 | wenzelm | tuned; | file | diff | annotate |