22 months ago wenzelm [Mon, 21 Aug 2017 16:58:51 +0200] rev 66473
tuned;
NEWS

22 months ago wenzelm [Mon, 21 Aug 2017 16:55:26 +0200] rev 66472
misc tuning and updates for release;
NEWS

22 months ago wenzelm [Mon, 21 Aug 2017 16:12:52 +0200] rev 66471
updated to sqlite-jdbc-3.20.0;
Admin/components/components.sha1 Admin/components/main

22 months ago wenzelm [Mon, 21 Aug 2017 15:54:51 +0200] rev 66470
updated to postgresql-42.1.4;
Admin/components/components.sha1 Admin/components/main

22 months ago wenzelm [Mon, 21 Aug 2017 15:23:04 +0200] rev 66469
avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
src/Tools/jEdit/src/isabelle.scala

22 months ago wenzelm [Mon, 21 Aug 2017 11:36:34 +0200] rev 66468
added missing file (cf. 9098c36abd1a);
src/Tools/jEdit/src-base/Isabelle_Base.props

22 months ago Manuel Eberl <eberlm@in.tum.de> [Sun, 20 Aug 2017 23:41:17 +0200] rev 66467
Merged

22 months ago Manuel Eberl <eberlm@in.tum.de> [Sun, 20 Aug 2017 18:55:03 +0200] rev 66466
More lemmas for HOL-Analysis
src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/Generalised_Binomial_Theorem.thy src/HOL/Analysis/Summation_Tests.thy src/HOL/Analysis/Topology_Euclidean_Space.thy src/HOL/Computational_Algebra/Formal_Power_Series.thy

22 months ago wenzelm [Sun, 20 Aug 2017 21:37:55 +0200] rev 66465
merged

22 months ago wenzelm [Sun, 20 Aug 2017 21:37:15 +0200] rev 66464
updated for release;
src/Tools/jEdit/src/Isabelle.props