| Sat, 01 Aug 2009 00:17:03 +0200 | wenzelm | future scheduler: uninterruptible cancelation; | changeset | files |
| Sat, 01 Aug 2009 00:09:45 +0200 | wenzelm | renamed Multithreading.regular_interrupts to Multithreading.public_interrupts; | changeset | files |
| 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 |