Mon, 24 Nov 2008 21:09:31 +0100 | krauss | check for more common errors first | changeset | files |
Mon, 24 Nov 2008 21:00:03 +0100 | krauss | improved error msg; tuned | changeset | files |
Mon, 24 Nov 2008 20:12:23 +0100 | krauss | removed "log" again, as IntInf.log2 already exists. | changeset | files |