| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Mon, 18 Apr 2016 14:30:24 +0200 | wenzelm | clarified bindings; | file | diff | annotate |
| Sun, 17 Apr 2016 22:10:09 +0200 | wenzelm | clarified bindings; | file | diff | annotate |
| Thu, 07 Jan 2016 15:53:39 +0100 | wenzelm | more uniform treatment of package internals; | file | diff | annotate |
| Sun, 06 Sep 2015 21:55:13 +0200 | wenzelm | do not expose low-level "_def" facts of 'function' definitions, to avoid potential confusion with the situation of plain 'definition'; | file | diff | annotate |