| Mon, 26 Oct 2009 11:36:23 +0100 | wenzelm | implicit default is 4 cores -- more cost-effective; | changeset | files |
| Mon, 26 Oct 2009 11:30:20 +0100 | wenzelm | deleted junk; | changeset | files |
| Mon, 26 Oct 2009 11:30:08 +0100 | wenzelm | more precise dependencies, notably for HOL-Multivariate_Analysis; | changeset | files |