| Thu, 03 Jan 2008 17:50:44 +0100 | wenzelm | output message properties: id or position; | changeset | files |
| Thu, 03 Jan 2008 17:50:43 +0100 | wenzelm | toplevel print_exn: proper setmp_thread_properties; | changeset | files |
| Thu, 03 Jan 2008 17:50:42 +0100 | wenzelm | added id property; | changeset | files |
| Thu, 03 Jan 2008 17:50:41 +0100 | wenzelm | Result: added props field; | changeset | files |