| Sun, 23 Jun 2013 18:11:38 +0200 | wenzelm | ML pretty printer for proof terms, with specifica treatment of infix application (similar to terms); | changeset | files |
| Sun, 23 Jun 2013 17:14:20 +0200 | wenzelm | actually observe print_depth for outer term structure; | changeset | files |
| Sun, 23 Jun 2013 16:47:45 +0200 | wenzelm | support for XML data representation of proof terms; | changeset | files |
| Sun, 23 Jun 2013 14:26:49 +0200 | wenzelm | updated to scala-2.10.2; | changeset | files |
| Sat, 22 Jun 2013 18:24:06 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 21 Jun 2013 13:36:10 +0200 | wenzelm | clarified strings of symbols, including ML string literals; | changeset | files |
| Thu, 20 Jun 2013 16:54:05 +0200 | wenzelm | more on managed evaluation; | changeset | files |