| Mon, 25 Nov 2013 15:56:23 +0100 | traytel | possibility to fold coercion inference error messages; tuned; | changeset | files |
| Mon, 25 Nov 2013 16:00:09 +0000 | paulson | tweaks to the documentation | changeset | files |
| Mon, 25 Nov 2013 14:50:31 +0000 | paulson | MaSH files should be ignored | changeset | files |
| Mon, 25 Nov 2013 13:48:00 +0100 | traytel | eliminated dependence of Cardinals_FP on Set_Intervals, more precise imports | changeset | files |