2016-11-20 wenzelm [Sun, 20 Nov 2016 20:12:42 +0100] rev 64514
more on "Formal scopes and semantic selection";
NEWS src/Doc/JEdit/JEdit.thy src/Doc/JEdit/document/scope1.png src/Doc/JEdit/document/scope2.png src/Doc/ROOT

2016-11-20 wenzelm [Sun, 20 Nov 2016 19:08:14 +0100] rev 64513
misc tuning and updates;
src/Doc/JEdit/JEdit.thy

2016-11-20 wenzelm [Sun, 20 Nov 2016 17:10:30 +0100] rev 64512
more on JVM heap space;
src/Doc/JEdit/JEdit.thy

2016-11-20 wenzelm [Sun, 20 Nov 2016 16:22:32 +0100] rev 64511
tuned;
src/Doc/Isar_Ref/document/root.tex

2016-11-20 wenzelm [Sun, 20 Nov 2016 16:18:04 +0100] rev 64510
more on Isar proof language;
src/Doc/Isar_Ref/Framework.thy

2016-11-20 wenzelm [Sun, 20 Nov 2016 15:53:07 +0100] rev 64509
documentation for Isabelle/Scala tools;
tuned;
src/Doc/System/Environment.thy

2016-11-19 wenzelm [Sat, 19 Nov 2016 20:10:32 +0100] rev 64508
more symbols;
src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Further_Topology.thy

2016-11-19 wenzelm [Sat, 19 Nov 2016 19:43:09 +0100] rev 64507
avoid import of Complex_Main into Word library (amending 34b7e2da95f6), e.g. to avoid intrusion of const "ii" into theories without complex numbers;
src/HOL/Word/Bool_List_Representation.thy

2016-11-13 wenzelm [Sun, 13 Nov 2016 21:37:30 +0100] rev 64506
more cronjob tasks, using Poly/ML repository version from 13-Nov-2016;
Admin/components/components.sha1 src/Pure/Admin/isabelle_cronjob.scala

2016-11-12 wenzelm [Sat, 12 Nov 2016 17:58:11 +0100] rev 64505
optional component setup;
src/Pure/Admin/build_polyml.scala src/Pure/General/mercurial.scala