| Thu, 28 Feb 2013 11:40:23 +0100 | wenzelm | proper place for cancel_div_mod.ML (see also ee729dbd1b7f and ec7f10155389); | changeset | files |
| Wed, 27 Feb 2013 20:36:21 +0100 | wenzelm | parallel dep.load_files saves approx. 1s on 4 cores; | changeset | files |
| Wed, 27 Feb 2013 19:39:16 +0100 | wenzelm | eliminated pointless re-ified errors; | changeset | files |
| Wed, 27 Feb 2013 17:44:08 +0100 | wenzelm | merged | changeset | files |