| Sun, 23 Jun 2013 18:11:38 +0200 | wenzelm | ML pretty printer for proof terms, with specifica treatment of infix application (similar to terms); | file | diff | annotate |
| Sun, 23 Jun 2013 17:14:20 +0200 | wenzelm | actually observe print_depth for outer term structure; | file | diff | annotate |
| Wed, 16 Jan 2013 11:31:08 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Thu, 24 May 2012 15:54:38 +0200 | wenzelm | merged | file | diff | annotate |
| Thu, 24 May 2012 15:33:45 +0200 | wenzelm | simplified Poly/ML setup -- 5.3.0 is now the common base-line; | file | diff | annotate | base |
| Mon, 11 Jul 2011 22:55:47 +0200 | wenzelm | tuned signature -- corresponding to Scala version; | file | diff | annotate |
| Wed, 11 Aug 2010 13:39:36 +0200 | wenzelm | more precise and more maintainable dependencies; | file | diff | annotate | base |