| Mon, 31 Aug 2009 20:32:00 +0200 | krauss | no consts_code for wfrec, as it violates the "code generation = equational reasoning" principle | changeset | files |
| Mon, 31 Aug 2009 17:32:29 +0200 | boehmes | Mirabelle: handle possible parser exceptions, emit suitable log message | changeset | files |
| Mon, 31 Aug 2009 15:30:11 +0200 | boehmes | merged | changeset | files |
| Mon, 31 Aug 2009 15:29:26 +0200 | boehmes | sledgehammer's temporary files are removed properly (even in case of an exception occurs) | changeset | files |
| Mon, 31 Aug 2009 14:10:11 +0200 | nipkow | merged | changeset | files |
| Mon, 31 Aug 2009 14:09:42 +0200 | nipkow | tuned the simp rules for Int involving insert and intervals. | changeset | files |
| Mon, 31 Aug 2009 12:22:15 +0200 | boehmes | Mirabelle sledgehammer: added option to keep problem files, enabled "metis" switch again (was accidentally removed) | changeset | files |