isabelle: Changelog

wenzelm [Fri, 12 Apr 2019 23:09:03 +0200] rev 70141

merged

wenzelm [Fri, 12 Apr 2019 22:57:17 +0200] rev 70140

updated documentation;

wenzelm [Fri, 12 Apr 2019 22:52:00 +0200] rev 70139

avoid Isabelle symbols in URL;

wenzelm [Fri, 12 Apr 2019 22:24:57 +0200] rev 70138

formal URLs;

wenzelm [Fri, 12 Apr 2019 22:24:07 +0200] rev 70137

tuned spacing;

wenzelm [Fri, 12 Apr 2019 22:09:25 +0200] rev 70136

modernized tags: default scope excludes proof;

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

isabelle