| Fri, 07 May 2010 20:57:37 +0200 | wenzelm | Pretty.formatted operates directly on XML trees, treating XML.Elem like a pro-forma block of indentation 0, like the ML version; | file | diff | annotate |
| Thu, 06 May 2010 23:52:20 +0200 | wenzelm | replaced slightly odd fbreak markup by plain "\n", which also coincides with regular linebreaks produced outside the ML pretty engine; | file | diff | annotate |
| Thu, 06 May 2010 23:07:21 +0200 | wenzelm | basic formatting of pretty trees; | file | diff | annotate |
| Thu, 06 May 2010 16:27:47 +0200 | wenzelm | basic support for symbolic pretty printing; | file | diff | annotate |