| Wed, 27 Jan 2016 14:09:58 +0100 | wenzelm | proper try_run for exactly one evaluation of body (amending 91c3aedbfc5e); | changeset | files |
| Mon, 25 Jan 2016 14:51:04 +0100 | wenzelm | more thorough syntax_changed: new commands need require new folds; | changeset | files |
| Sun, 24 Jan 2016 20:39:01 +0100 | wenzelm | Added tag Isabelle2016-RC2 for changeset 5d513565749e | changeset | files |
| Sun, 24 Jan 2016 20:37:40 +0100 | wenzelm | proper nesting: 'qed' needs to close the corresponding 'proof' and goal statement; | changeset | files |
| Sun, 24 Jan 2016 15:30:32 +0100 | wenzelm | clarified exception handling; | changeset | files |
| Sun, 24 Jan 2016 15:25:39 +0100 | wenzelm | guard sessions that no longer work with SML/NJ -- memory problems; | changeset | files |
| Sun, 24 Jan 2016 15:02:56 +0100 | wenzelm | tuned signature; | changeset | files |