| Mon, 10 Jan 2011 18:59:02 +0100 | boehmes | use just one data slot to VC-related information | changeset | files |
| Mon, 10 Jan 2011 18:58:54 +0100 | boehmes | be more precise: also merge option values | changeset | files |
| Mon, 10 Jan 2011 17:41:45 +0100 | boehmes | only print warning in a visible context (previously, the warning was printed more than once) | changeset | files |
| Mon, 10 Jan 2011 17:39:54 +0100 | boehmes | dropped superfluous error message | changeset | files |
| Mon, 10 Jan 2011 17:37:11 +0100 | krauss | removed obsolete make target (now in doc-src, cf. 28b487cd9e15) | changeset | files |
| Mon, 10 Jan 2011 17:22:48 +0100 | wenzelm | updated for polyml-5.4.0; | changeset | files |
| Mon, 10 Jan 2011 16:56:47 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Mon, 10 Jan 2011 16:45:28 +0100 | wenzelm | added merge_options convenience; | changeset | files |