| Fri, 21 Dec 2007 16:18:23 +0100 | ballarin | Fixed eta constraction issue in compose_witness | changeset | files |
| Thu, 20 Dec 2007 22:21:30 +0100 | wenzelm | included meson/metis tests in simultaneous use_thys; | changeset | files |
| Thu, 20 Dec 2007 21:14:28 +0100 | wenzelm | ``print mode'' is now a thread-local value derived from a global template; | changeset | files |
| 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 |