| Mon, 23 Mar 2009 22:57:27 +0100 | wenzelm | tuned; | file | diff | annotate |
| Mon, 23 Mar 2009 22:37:41 +0100 | wenzelm | pretty_ml/ml_pretty: proper handling of markup and string length; | file | diff | annotate |
| Mon, 23 Mar 2009 21:40:11 +0100 | wenzelm | more systematic type use_context; | file | diff | annotate |
| Sun, 22 Mar 2009 19:10:59 +0100 | wenzelm | added pretty_ml; | file | diff | annotate |
| Sat, 21 Mar 2009 19:58:45 +0100 | wenzelm | adapted toplevel_pp to ML_Pretty.pretty; | file | diff | annotate |
| Sat, 21 Mar 2009 15:08:00 +0100 | wenzelm | added generic ML_Pretty interface; | file | diff | annotate |
| Mon, 02 Mar 2009 20:31:27 +0100 | wenzelm | adapted to lates experimental version; | file | diff | annotate |
| Mon, 02 Feb 2009 22:16:41 +0100 | wenzelm | Compatibility wrapper for experimental versions of Poly/ML after 5.2.1. | file | diff | annotate |