| Fri, 19 Feb 2010 22:25:26 +0100 | wenzelm | eliminated opaque signature matching -- tends to cause problems with toplevel pp for abstract types; | changeset | files |
| Fri, 19 Feb 2010 22:06:52 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Fri, 19 Feb 2010 22:06:01 +0100 | wenzelm | tuned; | changeset | files |