Tue, 07 Apr 2015 18:21:56 +0200 | nipkow | Removed mcard because it is equal to size | file | diff | annotate |
Mon, 06 Apr 2015 22:11:01 +0200 | wenzelm | support for 'restricted' modifier: only qualified accesses outside the local scope; | file | diff | annotate |
Mon, 06 Apr 2015 17:06:48 +0200 | wenzelm | @{command_spec} is superseded by @{command_keyword}; | file | diff | annotate |
Sat, 04 Apr 2015 22:01:30 +0200 | wenzelm | some explanation of 'private'; | file | diff | annotate |
Wed, 01 Apr 2015 22:40:41 +0200 | wenzelm | merged | file | diff | annotate |
Wed, 01 Apr 2015 22:08:06 +0200 | wenzelm | added command 'experiment'; | file | diff | annotate |
Wed, 01 Apr 2015 19:31:28 +0200 | wenzelm | NEWS; | file | diff | annotate |