| Sun, 07 Sep 2008 22:19:58 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 07 Sep 2008 22:19:46 +0200 | wenzelm | added change_result; | changeset | files |
| Sun, 07 Sep 2008 22:19:42 +0200 | wenzelm | Functional threads as future values. | changeset | files |
| Sun, 07 Sep 2008 22:19:31 +0200 | wenzelm | added Concurrent/future.ML; | changeset | files |
| Sun, 07 Sep 2008 17:48:50 +0200 | wenzelm | Default (mostly dummy) implementation of thread structures. | changeset | files |
| Sun, 07 Sep 2008 17:48:49 +0200 | wenzelm | *** MESSAGE REFERS TO PREVIOUS VERSION *** | changeset | files |
| Sun, 07 Sep 2008 17:46:44 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Sun, 07 Sep 2008 17:46:43 +0200 | wenzelm | explicit use of universal.ML and dummy_thread.ML; | changeset | files |
| Sun, 07 Sep 2008 17:46:41 +0200 | wenzelm | added no_interrupts; | changeset | files |
| Sun, 07 Sep 2008 17:46:40 +0200 | wenzelm | added no_interrupts; | changeset | files |
| Sun, 07 Sep 2008 17:46:39 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 07 Sep 2008 17:46:38 +0200 | wenzelm | send: broadcast to all waiting threads; | changeset | files |