| Thu, 09 Oct 2008 20:53:13 +0200 | wenzelm | Dummy version of parallel list combinators -- plain sequential evaluation. | changeset | files |
| Thu, 09 Oct 2008 20:53:12 +0200 | wenzelm | added Concurrent/par_list_dummy.ML; | changeset | files |
| Thu, 09 Oct 2008 20:53:11 +0200 | wenzelm | improved performance of skolem cache, due to parallel map; | changeset | files |
| Thu, 09 Oct 2008 20:53:10 +0200 | wenzelm | SimpleThread.interrupt; | changeset | files |
| Thu, 09 Oct 2008 20:03:22 +0200 | wenzelm | report: back to single message; | changeset | files |
| Thu, 09 Oct 2008 19:24:21 +0200 | wenzelm | added section label; | changeset | files |
| Thu, 09 Oct 2008 18:16:07 +0200 | haftmann | tuned | changeset | files |