isabelle: Changelog

wenzelm [Tue, 16 Apr 2019 20:00:14 +0200] rev 70168

tuned for release;

wenzelm [Tue, 16 Apr 2019 19:42:56 +0200] rev 70167

clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6);

wenzelm [Sun, 14 Apr 2019 18:13:46 +0200] rev 70166

afford more examples;

wenzelm [Sun, 14 Apr 2019 17:37:05 +0200] rev 70165

obsolete -- this is quite fast;

paulson <lp15@cam.ac.uk> [Sun, 14 Apr 2019 13:32:26 +0100] rev 70164

Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)

paulson [Sun, 14 Apr 2019 12:00:17 +0100] rev 70163

merged

paulson <lp15@cam.ac.uk> [Sun, 14 Apr 2019 11:59:54 +0100] rev 70162

markup fixes

paulson [Sat, 13 Apr 2019 19:27:37 +0100] rev 70161

merged

paulson <lp15@cam.ac.uk> [Sat, 13 Apr 2019 19:23:47 +0100] rev 70160

Towards a proof of algebraic closure (NB not finished)

wenzelm [Sat, 13 Apr 2019 22:06:40 +0200] rev 70159

tuned signature;

isabelle