Tue, 20 Jun 2017 08:01:56 +0200 haftmann do not print unimplemented functions
Tue, 20 Jun 2017 08:01:56 +0200 haftmann dropped void values
Tue, 20 Jun 2017 08:01:56 +0200 haftmann more uniform order of constructors
Tue, 20 Jun 2017 08:01:56 +0200 haftmann more consistent terminology
Tue, 20 Jun 2017 08:01:56 +0200 haftmann avoid name particle "the" where no selection is implied
Tue, 20 Jun 2017 08:01:56 +0200 haftmann more uniform ordering and naming of sections;
Tue, 20 Jun 2017 08:01:56 +0200 haftmann tuned internal signature
Tue, 20 Jun 2017 08:01:56 +0200 haftmann more explicit constructor name
Tue, 20 Jun 2017 08:01:56 +0200 haftmann tuned whitespace
Tue, 20 Jun 2017 08:01:56 +0200 haftmann replaced recdef by fun
Tue, 20 Jun 2017 08:01:56 +0200 haftmann spelling
Mon, 19 Jun 2017 21:33:29 +0200 wenzelm merged
Mon, 19 Jun 2017 21:33:18 +0200 wenzelm added spell-checker completion;
Mon, 19 Jun 2017 21:15:06 +0200 wenzelm clarified modules;
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 tip