isabelle: Changelog

wenzelm [Fri, 12 Apr 2019 19:48:29 +0200] rev 70135

report document tags as seen in the text (not the active tag of Thy_Output.present_thy);

wenzelm [Fri, 12 Apr 2019 17:09:21 +0200] rev 70134

support "tag" marker with scope;

paulson <lp15@cam.ac.uk> [Fri, 12 Apr 2019 12:29:20 +0100] rev 70133

tidying up messy proofs about group element order

paulson [Thu, 11 Apr 2019 22:38:02 +0100] rev 70132

merged

paulson <lp15@cam.ac.uk> [Thu, 11 Apr 2019 22:37:49 +0100] rev 70131

simpler and stronger proofs

wenzelm [Thu, 11 Apr 2019 21:33:21 +0200] rev 70130

tuned;

wenzelm [Thu, 11 Apr 2019 21:01:59 +0200] rev 70129

tuned;

paulson <lp15@cam.ac.uk> [Thu, 11 Apr 2019 17:16:03 +0100] rev 70128

merge plus tidied three proofs

paulson [Thu, 11 Apr 2019 16:49:55 +0100] rev 70127

merged

paulson [Thu, 11 Apr 2019 15:26:19 +0100] rev 70126

merged

isabelle