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