| 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 |
| Sun, 07 Jul 2013 17:30:16 +0200 | wenzelm | tuned comments; | changeset | files |
| Sun, 07 Jul 2013 10:24:00 +0200 | traytel | Func -> Func_option, Ffunc -> Func (avoids dependence of codatatypes on the option type) | changeset | files |