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 |