| Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
| Wed, 11 Jun 2014 18:22:05 +0200 | haftmann | mixin definitions are within scope of "for"s of import expression | file | diff | annotate |
| Wed, 11 Jun 2014 18:22:04 +0200 | haftmann | proper proof context transfer wrt. background theory avoids ad-hoc restore operation | file | diff | annotate |
| Thu, 01 May 2014 09:30:34 +0200 | haftmann | prevent subscription in nested contexts explicitly -- at foundational and user level | file | diff | annotate |
| Fri, 25 Apr 2014 21:45:04 +0200 | haftmann | subscription as target-specific implementation device | file | diff | annotate |
| Sat, 08 Mar 2014 21:08:10 +0100 | wenzelm | modernized Attrib.check_name/check_src similar to methods (see also a989bdaf8121); | file | diff | annotate |
| Wed, 19 Feb 2014 22:08:47 +0100 | haftmann | offical tool | file | diff | annotate | base |