Mon, 26 Oct 2009 09:41:26 +0100 | haftmann | legacy warnings for old-style term styles | changeset | files |
Mon, 26 Oct 2009 12:02:06 +0100 | wenzelm | removed unnecessary NameSpace prefix; | changeset | files |
Mon, 26 Oct 2009 11:57:58 +0100 | wenzelm | misc tuning and updates; | changeset | files |
Mon, 26 Oct 2009 11:37:33 +0100 | wenzelm | merged | changeset | files |
Mon, 26 Oct 2009 11:36:23 +0100 | wenzelm | implicit default is 4 cores -- more cost-effective; | changeset | files |
Mon, 26 Oct 2009 11:30:20 +0100 | wenzelm | deleted junk; | changeset | files |