| Thu, 20 Dec 2007 21:12:03 +0100 | wenzelm | scheduling/next_task: PrintMode.closure; | changeset | files |
| Thu, 20 Dec 2007 21:12:02 +0100 | wenzelm | added get/put_data; | changeset | files |
| Thu, 20 Dec 2007 21:12:01 +0100 | wenzelm | separated into global template vs. thread-local value; | changeset | files |
| Thu, 20 Dec 2007 21:12:00 +0100 | wenzelm | Universal values via tagged union. Emulates structure Universal in Poly/ML 5.1. | changeset | files |
| Thu, 20 Dec 2007 21:11:58 +0100 | wenzelm | added ML-Systems/universal.ML; | changeset | files |
| Thu, 20 Dec 2007 21:09:38 +0100 | wenzelm | updated; | changeset | files |
| Thu, 20 Dec 2007 14:33:43 +0100 | wenzelm | obsolete; | changeset | files |