| Mon, 08 Jul 2013 14:24:36 +0200 | nipkow | tuned proofs | changeset | files |
| 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 |