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