| Wed, 21 Jun 2017 22:57:29 +0200 | wenzelm | tuned granularity of parallel tasks; | changeset | files |
| Wed, 21 Jun 2017 22:04:20 +0200 | wenzelm | more completion; | changeset | files |
| Wed, 21 Jun 2017 21:55:07 +0200 | wenzelm | clarified modules; | changeset | files |
| Wed, 21 Jun 2017 21:10:51 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 21 Jun 2017 22:48:55 +0200 | blanchet | added -d option to Mirabelle | changeset | files |
| Tue, 20 Jun 2017 21:41:59 +0200 | haftmann | stripped code pre/postprocessor setup for real from superfluous rules | changeset | files |
| Wed, 21 Jun 2017 17:13:55 +0100 | paulson | Tidying up integration theory and some new theorems | changeset | files |