| Sun, 23 Jun 2013 21:15:42 +0200 | wenzelm | detach process more reliably -- NB: viewer might be synchronous or asynchronous depending on settings; | changeset | files |
| Sun, 23 Jun 2013 20:26:31 +0200 | wenzelm | clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts; | changeset | files |
| Sun, 23 Jun 2013 20:12:01 +0200 | wenzelm | Scala version of "isabelle doc"; | changeset | files |
| 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 |