Thu, 19 Nov 2009 17:26:28 +0100 | wenzelm | toplevel pretty printer for Synchronized.var; | file | diff | annotate |
Tue, 10 Nov 2009 13:05:35 +0100 | wenzelm | home-grown pretty printer for term -- Poly/ML 5.3.0 does not observe infix status of constructors (notably $); | file | diff | annotate |
Mon, 09 Nov 2009 21:30:54 +0100 | wenzelm | setup for official Poly/ML 5.3.0, which is now the default; | file | diff | annotate |
Thu, 04 Jun 2009 19:15:54 +0200 | wenzelm | less experimental polyml-5.3; | file | diff | annotate | base |