| Tue, 24 Mar 2009 23:43:58 +0100 | wenzelm | simplified addPrettyPrinter setup: may pass (fn ...) directly if type constraints are omitted -- addPrettyPrinter treated as a special case internally; | file | diff | annotate |
| Sat, 21 Mar 2009 20:38:49 +0100 | wenzelm | extra toplevel pretty-printing for Poly/ML; experimental version for Poly/ML 5.3; | file | diff | annotate |