| Fri, 25 Sep 2015 19:13:47 +0200 | wenzelm | tuned signature: eliminated pointless type Context.pretty; | file | diff | annotate |
| Thu, 16 Apr 2015 15:22:44 +0200 | wenzelm | discontinued pointless warnings: commands are only defined inside a theory context; | file | diff | annotate |
| Thu, 16 Apr 2015 13:39:21 +0200 | wenzelm | tuned; | file | diff | annotate |
| Thu, 16 Apr 2015 12:37:30 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 16 Apr 2015 12:03:43 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
| Thu, 22 Jan 2015 12:39:44 +0100 | haftmann | backed out obsolete workaround from ef1edfb36af7 | file | diff | annotate |