| Wed, 10 Apr 2019 20:52:09 +0200 | wenzelm | ignore odd warnings; | changeset | files |
| Wed, 10 Apr 2019 20:31:14 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 10 Apr 2019 16:18:12 +0200 | wenzelm | merged; | changeset | files |
| Wed, 10 Apr 2019 16:15:45 +0200 | wenzelm | updated for release; | changeset | files |
| Wed, 10 Apr 2019 15:45:16 +0200 | wenzelm | merged | changeset | files |
| Wed, 10 Apr 2019 15:10:43 +0200 | wenzelm | clarified build of standard heaps; | changeset | files |
| Wed, 10 Apr 2019 14:43:29 +0200 | wenzelm | updated for release; | changeset | files |