| Mon, 17 Aug 2009 10:59:12 +0200 | boehmes | made Mirabelle a component | changeset | files |
| Thu, 20 Aug 2009 15:23:25 +0200 | paulson | A few Isar scripts | changeset | files |
| Sat, 15 Aug 2009 15:29:54 +0200 | haftmann | additional checkpoints avoid problems in error situations | changeset | files |
| Sat, 15 Aug 2009 15:29:53 +0200 | haftmann | tuned | changeset | files |
| Fri, 14 Aug 2009 21:36:14 +0200 | krauss | removed atp_minimize invocation | changeset | files |
| Fri, 14 Aug 2009 21:28:58 +0200 | krauss | reverted accidential corruption of superscripts introduced in a508148f7c25 | changeset | files |
| Fri, 14 Aug 2009 17:27:34 +0200 | haftmann | merged | changeset | files |
| Fri, 14 Aug 2009 15:36:57 +0200 | haftmann | inserted space into message | changeset | files |
| Fri, 14 Aug 2009 15:36:55 +0200 | haftmann | formally stylized | changeset | files |
| Fri, 14 Aug 2009 15:36:54 +0200 | haftmann | formally stylized | changeset | files |
| Fri, 14 Aug 2009 15:36:53 +0200 | haftmann | corrected Pair to Char | changeset | files |
| Fri, 14 Aug 2009 13:45:52 +0100 | webertj | merged | changeset | files |
| Fri, 14 Aug 2009 13:44:14 +0100 | webertj | Fixed a bug where the simplifier would hang on | changeset | files |
| Thu, 13 Aug 2009 17:19:54 +0100 | paulson | merged | changeset | files |
| Thu, 13 Aug 2009 17:19:42 +0100 | paulson | Removal of redundant settings of unification trace and search bounds. | changeset | files |