| 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 |
| Wed, 10 Apr 2019 13:45:49 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 10 Apr 2019 13:43:23 +0200 | wenzelm | retain copy of required components; | changeset | files |
| Wed, 10 Apr 2019 12:38:27 +0200 | wenzelm | option for build_sessions; | changeset | files |
| Wed, 10 Apr 2019 12:11:30 +0200 | wenzelm | tuned; | changeset | files |