Sat, 13 Apr 2019 12:45:38 +0200 obsolete;
wenzelm [Sat, 13 Apr 2019 12:45:38 +0200] rev 70327
obsolete;
Fri, 12 Apr 2019 23:09:03 +0200 merged
wenzelm [Fri, 12 Apr 2019 23:09:03 +0200] rev 70326
merged
Fri, 12 Apr 2019 22:57:17 +0200 updated documentation;
wenzelm [Fri, 12 Apr 2019 22:57:17 +0200] rev 70325
updated documentation;
Fri, 12 Apr 2019 22:52:00 +0200 avoid Isabelle symbols in URL;
wenzelm [Fri, 12 Apr 2019 22:52:00 +0200] rev 70324
avoid Isabelle symbols in URL;
Fri, 12 Apr 2019 22:24:57 +0200 formal URLs;
wenzelm [Fri, 12 Apr 2019 22:24:57 +0200] rev 70323
formal URLs;
Fri, 12 Apr 2019 22:24:07 +0200 tuned spacing;
wenzelm [Fri, 12 Apr 2019 22:24:07 +0200] rev 70322
tuned spacing;
Fri, 12 Apr 2019 22:09:25 +0200 modernized tags: default scope excludes proof;
wenzelm [Fri, 12 Apr 2019 22:09:25 +0200] rev 70321
modernized tags: default scope excludes proof;
Fri, 12 Apr 2019 19:48:29 +0200 report document tags as seen in the text (not the active tag of Thy_Output.present_thy);
wenzelm [Fri, 12 Apr 2019 19:48:29 +0200] rev 70320
report document tags as seen in the text (not the active tag of Thy_Output.present_thy);
Fri, 12 Apr 2019 17:09:21 +0200 support "tag" marker with scope;
wenzelm [Fri, 12 Apr 2019 17:09:21 +0200] rev 70319
support "tag" marker with scope;
Sat, 13 Apr 2019 19:23:47 +0100 Towards a proof of algebraic closure (NB not finished)
paulson <lp15@cam.ac.uk> [Sat, 13 Apr 2019 19:23:47 +0100] rev 70318
Towards a proof of algebraic closure (NB not finished)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip