Sun, 31 May 2009 14:46:44 +0200 | wenzelm | more precise version information; | file | diff | annotate |
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 |