| Thu, 24 Jan 2008 23:51:19 +0100 | wenzelm | statement: keep explicit position; | changeset | files |
| Thu, 24 Jan 2008 23:51:18 +0100 | wenzelm | improved apply: handle thread position, apply to context here; | changeset | files |
| Thu, 24 Jan 2008 23:51:17 +0100 | wenzelm | removed unused Toplevel.properties; | changeset | files |
| Thu, 24 Jan 2008 23:51:15 +0100 | wenzelm | added combinator for wrapped lazy evaluation; | changeset | files |
| Thu, 24 Jan 2008 23:51:13 +0100 | wenzelm | added setmp_thread_data_seq; | changeset | files |
| Thu, 24 Jan 2008 23:51:11 +0100 | wenzelm | removed obsolete context_position.ML (superseded by Position.thread_data); | changeset | files |
| Thu, 24 Jan 2008 12:02:44 +0100 | wenzelm | switched to polyml-cvs; | changeset | files |