| Sun, 07 Jul 2013 22:58:34 +0200 | wenzelm | some support for Cygwin; | changeset | files |
| Sun, 07 Jul 2013 20:23:09 +0200 | wenzelm | reduced number of old manuals: chapter HOL is back again to the Logics manual by Larry; | changeset | files |
| Sun, 07 Jul 2013 18:50:16 +0200 | wenzelm | tuned signature; | changeset | files |
| 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 |
| Sun, 07 Jul 2013 17:52:13 +0200 | wenzelm | removed pointless / outdated keywords, superseded by specific Token_Markup.Marker; | changeset | files |