| Mon, 03 Jun 2019 15:40:08 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| Mon, 27 Nov 2017 11:45:20 +0100 | wenzelm | proper context (as in 'term' command); | file | diff | annotate |
| Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
| Thu, 04 Dec 2014 20:56:38 +0100 | wenzelm | more examples; | file | diff | annotate |