| 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 |