| Sun, 07 Jul 2013 18:43:14 +0200 | wenzelm | discontinued obsolete "isabelle print"; | changeset | files |
| Sun, 07 Jul 2013 18:34:29 +0200 | wenzelm | discontinued command 'print_drafts'; | changeset | files |
| Sun, 07 Jul 2013 18:04:46 +0200 | wenzelm | some attempts to avoid sandwiching of actions stemming from single ESCAPE key event, to avoid potential conflict with ongoing text selection; | changeset | files |