| Sun, 23 Jun 2013 21:16:06 +0200 |
haftmann |
tuned variable names
|
changeset |
files
|
| Sun, 23 Jun 2013 22:31:50 +0200 |
wenzelm |
tuned message -- more markup;
|
changeset |
files
|
| Sun, 23 Jun 2013 21:40:56 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sun, 23 Jun 2013 21:23:36 +0200 |
wenzelm |
proper diagnostic command 'print_state';
|
changeset |
files
|
| 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
|
| Sat, 22 Jun 2013 18:24:06 +0200 |
wenzelm |
tuned;
|
changeset |
files
|