isabelle: Changelog

wenzelm [Sun, 28 Apr 2019 22:20:39 +0200] rev 70206

more ambitious compression;

wenzelm [Sun, 28 Apr 2019 13:09:15 +0200] rev 70205

tuned signature;

wenzelm [Sun, 28 Apr 2019 13:03:16 +0200] rev 70204

completion for \<^const>, although it often requires an extra argument;

wenzelm [Sun, 28 Apr 2019 12:34:56 +0200] rev 70203

proper treatment of root as directory;

paulson <lp15@cam.ac.uk> [Sat, 27 Apr 2019 21:56:59 +0100] rev 70202

tiny bit of extra restructuring

paulson <lp15@cam.ac.uk> [Sat, 27 Apr 2019 20:00:38 +0100] rev 70201

some variable renaming

paulson <lp15@cam.ac.uk> [Sat, 27 Apr 2019 18:54:32 +0100] rev 70200

tweaks esp renaming Rep_preal

paulson <lp15@cam.ac.uk> [Sat, 27 Apr 2019 18:45:00 +0100] rev 70199

Massive restructuring; deleting unused theorems

paulson [Fri, 26 Apr 2019 19:00:44 +0100] rev 70198

merged

paulson <lp15@cam.ac.uk> [Fri, 26 Apr 2019 19:00:02 +0100] rev 70197

partial updating to eliminate ASCII style and some applys

isabelle