| Thu, 30 Jul 2009 23:50:11 +0200 | wenzelm | recovered polyml-5.2 -- need to reload ML-Systems/multithreading.ML after overriding Thread structures; | changeset | files |
| Thu, 30 Jul 2009 23:37:53 +0200 | wenzelm | tuned tracing; | changeset | files |
| Thu, 30 Jul 2009 23:23:52 +0200 | wenzelm | ISABELLE_USEDIR_OPTIONS: -q 2 by default; | changeset | files |
| Thu, 30 Jul 2009 23:09:29 +0200 | wenzelm | merged | changeset | files |
| Thu, 30 Jul 2009 21:27:15 +0200 | wenzelm | merged | changeset | files |
| Thu, 30 Jul 2009 08:18:22 +0200 | haftmann | merged | changeset | files |
| Wed, 29 Jul 2009 16:54:20 +0200 | haftmann | cleaned up abstract tuple operations and named them consistently | changeset | files |