| Thu, 18 May 2017 15:43:14 +0200 | eberlm | Merged | changeset | files |
| Thu, 18 May 2017 12:02:21 +0200 | eberlm | more on sublists | changeset | files |
| Thu, 18 May 2017 14:41:40 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 18 May 2017 14:41:20 +0200 | wenzelm | more charts; | changeset | files |
| Thu, 18 May 2017 14:38:09 +0200 | wenzelm | uniform heap_scale; | changeset | files |
| Thu, 18 May 2017 14:14:20 +0200 | wenzelm | more plots from ml_statistics; | changeset | files |
| Thu, 18 May 2017 13:51:25 +0200 | wenzelm | simplified signature; | changeset | files |