| Fri, 16 Sep 2016 16:48:59 +0200 | Lars Hupel | benchmark profile runs on small worker now (6 cores) | changeset | files |
| Fri, 16 Sep 2016 16:37:11 +0200 | traytel | merged | changeset | files |
| Fri, 16 Sep 2016 16:33:24 +0200 | traytel | NEWS | changeset | files |
| Fri, 16 Sep 2016 16:15:11 +0200 | wenzelm | merged | changeset | files |
| Fri, 16 Sep 2016 15:56:56 +0200 | wenzelm | serious measurements require jobs = 1; | changeset | files |
| Fri, 16 Sep 2016 15:54:50 +0200 | wenzelm | sessions that are relevant for routine timing measurements; | changeset | files |
| Fri, 16 Sep 2016 15:21:21 +0200 | wenzelm | more uniform completion of short word: exclude single character prefix but include two chracter prefix (see also 31633e503c17); | changeset | files |
| Fri, 16 Sep 2016 13:56:51 +0200 | hoelzl | move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel | changeset | files |