isabelle: Changelog

wenzelm [Mon, 24 Oct 2016 12:01:36 +0200] rev 64369

proper Admin tool;

wenzelm [Mon, 24 Oct 2016 11:48:32 +0200] rev 64368

tuned message;

wenzelm [Mon, 24 Oct 2016 11:42:39 +0200] rev 64367

updated for release;

wenzelm [Mon, 24 Oct 2016 11:10:17 +0200] rev 64366

updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;

paulson <lp15@cam.ac.uk> [Mon, 24 Oct 2016 14:32:07 +0100] rev 64365

Merge

paulson <lp15@cam.ac.uk> [Mon, 24 Oct 2016 14:31:05 +0100] rev 64364

"subgoal" examples

eberlm <eberlm@in.tum.de> [Mon, 24 Oct 2016 13:50:12 +0200] rev 64363

Updated NEWS/CONTRIBUTORS w.r.t. Old_Number_Theory

wenzelm [Sun, 23 Oct 2016 16:44:17 +0200] rev 64362

more readable output: whitespace is insignificant in HTML;

wenzelm [Sun, 23 Oct 2016 16:37:59 +0200] rev 64361

misc tuning and clarification;

wenzelm [Sun, 23 Oct 2016 15:25:48 +0200] rev 64360

modernized;

isabelle