| Sat, 30 Dec 2006 16:08:07 +0100 | wenzelm | refrain from setting ml_prompts again; | changeset | files |
| Sat, 30 Dec 2006 16:08:06 +0100 | wenzelm | removed misleading OuterLex.eq_token; | changeset | files |
| Sat, 30 Dec 2006 16:08:05 +0100 | wenzelm | pretty_statement: more careful handling of name_hint; | changeset | files |
| Sat, 30 Dec 2006 16:08:04 +0100 | wenzelm | added has_name_hint; | changeset | files |
| Sat, 30 Dec 2006 16:08:03 +0100 | wenzelm | removed obsolete name_hint handling; | changeset | files |
| Sat, 30 Dec 2006 16:08:00 +0100 | wenzelm | removed conditional combinator; | changeset | files |
| Sat, 30 Dec 2006 12:41:59 +0100 | wenzelm | removed obsolete support for polyml-4.9.1; | changeset | files |