Mon, 21 Aug 2017 16:58:51 +0200 tuned;
wenzelm [Mon, 21 Aug 2017 16:58:51 +0200] rev 66473
tuned;
Mon, 21 Aug 2017 16:55:26 +0200 misc tuning and updates for release;
wenzelm [Mon, 21 Aug 2017 16:55:26 +0200] rev 66472
misc tuning and updates for release;
Mon, 21 Aug 2017 16:12:52 +0200 updated to sqlite-jdbc-3.20.0;
wenzelm [Mon, 21 Aug 2017 16:12:52 +0200] rev 66471
updated to sqlite-jdbc-3.20.0;
Mon, 21 Aug 2017 15:54:51 +0200 updated to postgresql-42.1.4;
wenzelm [Mon, 21 Aug 2017 15:54:51 +0200] rev 66470
updated to postgresql-42.1.4;
Mon, 21 Aug 2017 15:23:04 +0200 avoid compound edit: it causes confusion about the context of the last line, e.g. final "end";
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";
Mon, 21 Aug 2017 11:36:34 +0200 added missing file (cf. 9098c36abd1a);
wenzelm [Mon, 21 Aug 2017 11:36:34 +0200] rev 66468
added missing file (cf. 9098c36abd1a);
Sun, 20 Aug 2017 23:41:17 +0200 Merged
Manuel Eberl <eberlm@in.tum.de> [Sun, 20 Aug 2017 23:41:17 +0200] rev 66467
Merged
Sun, 20 Aug 2017 18:55:03 +0200 More lemmas for HOL-Analysis
Manuel Eberl <eberlm@in.tum.de> [Sun, 20 Aug 2017 18:55:03 +0200] rev 66466
More lemmas for HOL-Analysis
Sun, 20 Aug 2017 21:37:55 +0200 merged
wenzelm [Sun, 20 Aug 2017 21:37:55 +0200] rev 66465
merged
Sun, 20 Aug 2017 21:37:15 +0200 updated for release;
wenzelm [Sun, 20 Aug 2017 21:37:15 +0200] rev 66464
updated for release;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip