| Thu, 25 Feb 2016 00:06:37 +0100 | wenzelm | explicit class Build_Results; | changeset | files |
| Wed, 24 Feb 2016 23:36:45 +0100 | wenzelm | more informative Build.build_results; | changeset | files |
| Wed, 24 Feb 2016 22:40:19 +0100 | wenzelm | more informative Process_Result; | changeset | files |
| Wed, 24 Feb 2016 22:11:28 +0100 | wenzelm | clarified modules; | changeset | files |
| Wed, 24 Feb 2016 22:03:24 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 24 Feb 2016 16:00:57 +0000 | paulson | Merge | changeset | files |
| Wed, 24 Feb 2016 15:51:01 +0000 | paulson | Substantial new material for multivariate analysis. Also removal of some duplicates. | changeset | files |
| Wed, 24 Feb 2016 07:41:52 +0100 | nipkow | NEWS | changeset | files |