| Tue, 13 Aug 2019 21:18:26 +0200 | wenzelm | minor performance tuning; | file | diff | annotate |
| Tue, 30 Jul 2019 11:41:39 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Sun, 24 Mar 2019 19:17:42 +0100 | wenzelm | clarified markup; | file | diff | annotate |
| Thu, 03 Jan 2019 21:48:05 +0100 | wenzelm | support for isabelle update -u inner_syntax_cartouches; | file | diff | annotate |
| Thu, 03 Jan 2019 15:55:36 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 03 Jan 2019 14:12:44 +0100 | wenzelm | clarified signature: more types; | file | diff | annotate |
| Fri, 28 Sep 2018 22:33:20 +0200 | wenzelm | more accurate syntax: e.g. avoid brackets as prefix notation; | file | diff | annotate |
| Fri, 28 Sep 2018 21:16:24 +0200 | wenzelm | more approximative prefix syntax, including binder; | file | diff | annotate |
| Wed, 26 Sep 2018 17:04:50 +0200 | wenzelm | clarified get_infix: avoid old ASCII input syntax; | file | diff | annotate |
| Sun, 16 Sep 2018 22:45:34 +0200 | wenzelm | export plain infix syntax; | file | diff | annotate |
| Sun, 16 Sep 2018 20:33:37 +0200 | wenzelm | unused; | file | diff | annotate |
| Sat, 27 Jan 2018 16:56:03 +0100 | wenzelm | prefer lazy update; | file | diff | annotate |
| Sat, 27 Jan 2018 16:45:27 +0100 | wenzelm | tuned output; | file | diff | annotate |
| Thu, 22 Jun 2017 15:20:32 +0200 | wenzelm | more informative task_statistics; | file | diff | annotate |
| Tue, 13 Dec 2016 11:51:42 +0100 | wenzelm | more symbols; | file | diff | annotate |